1154 search results - page 4 / 231 » Mathematizing C concurrency |
CONCURRENCY
2006
13 years 5 months ago
2006
CRYPTO
2009
Springer
13 years 11 months ago
2009
Springer
Abstract Julia Borghoff , Lars R. Knudsen, Gregor Leander, Krystian Matusiewicz Department of Mathematics Technical University of Denmark
ICSE
2009
IEEE-ACM
13 years 2 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
13 years 9 months ago
1997
ACM
IFIP
2010
Springer
12 years 11 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...