Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System
The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS. Cloud Sisal is an input language of CPPS. The main feature of CPPS is imp...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
Yaroslavl State University
2021-12-01
|
| Seri Bilgileri: | Моделирование и анализ информационных систем |
| Konular: | |
| Online Erişim: | https://www.mais-journal.ru/jour/article/view/1566 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|