1154 search results - page 4 / 231 » Mathematizing C concurrency |
CONCURRENCY
2006
14 years 10 months ago
2006
47
Voted
CRYPTO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract Julia Borghoff , Lars R. Knudsen, Gregor Leander, Krystian Matusiewicz Department of Mathematics Technical University of Denmark
77
Voted
ICSE
2009
IEEE-ACM
14 years 8 months 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...
ISPD
1997
ACM
15 years 2 months ago
1997
ACM
130
Voted
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...