Pregled bibliografske jedinice broj: 541823
CoreStar: The Core of jStar
CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.).
Redmond (WA): Microsoft Research, 2011. str. 65-77 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 541823 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
CoreStar: The Core of jStar
Autori
Botinčan, Matko ; Distefano, Dino ; Dodds, Mike ; Grigore, Radu ; Naudziuniene, Daiva ; Parkinson, Matthew J.
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011)
/ Leino, Rustan ; Moskal, Michal - Redmond (WA) : Microsoft Research, 2011, 65-77
Skup
The 1st International Workshop on Intermediate Verification Languages (Boogie 2011)
Mjesto i datum
Wrocław, Poljska, 01.08.2011
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
separation logic; program analysis; program verification
Sažetak
Separation logic is a promising approach to program verification. However, currently there is no shared infrastructure for building verification tools. This increases the time to build and experiment with new ideas. In this paper, we outline coreStar, the verification framework underlying jStar. Our aim is to provide basic support for developing separation logic tools. This paper shows how a language can be encoded into coreStar, and gives details of how coreStar works to enable extensions.
Izvorni jezik
Engleski
Znanstvena područja
Matematika, Računarstvo
POVEZANOST RADA
Projekti:
037-0362980-2774 - Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (Manger, Robert, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Matko Botinčan
(autor)
