120
click to vote
ICSE
2009
IEEE-ACM
15 years 27 days ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...