1154 search results - page 5 / 231 » Mathematizing C concurrency |
TPHOL
2009
IEEE
13 years 12 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
C5
2008
IEEE
13 years 11 months ago
2008
IEEE
EMSOFT
2009
Springer
13 years 12 months ago
2009
Springer
ITC
2002
IEEE
13 years 10 months ago
2002
IEEE
MPC
2010
Springer
13 years 10 months ago
2010
Springer
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...