438 search results - page 11 / 88 » A Tool for Checking ANSI-C Programs |
131
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
146
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
131
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
132
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
118
Voted
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...