1304 search results - page 29 / 261 » Model Checking C Programs Using F-SOFT |
110
Voted
DSN
2004
IEEE
15 years 6 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
144
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
153
click to vote
ICST
2009
IEEE
15 years 2 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
125
click to vote
ENTCS
2002
15 years 2 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
153
Voted
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...