438 search results - page 44 / 88 » A Tool for Checking ANSI-C Programs |
117
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
89
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
147
Voted
ECOOP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
149
Voted
COOTS
1997
15 years 4 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
112
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...