CoreStar: The Core of jStar (CROSBI ID 579181)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Botinčan, Matko ; Distefano, Dino ; Dodds, Mike ; Grigore, Radu ; Naudziuniene, Daiva ; Parkinson, Matthew J.
engleski
CoreStar: The Core of jStar
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.
separation logic; program analysis; program verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
65-77.
2011.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011)
Leino, Rustan ; Moskal, Michal
Redmond (WA): Microsoft Research
Podaci o skupu
The 1st International Workshop on Intermediate Verification Languages (Boogie 2011)
predavanje
01.08.2011-01.08.2011
Wrocław, Poljska
