1023 search results - page 17 / 205 » Model Checking: Software and Beyond |
105
click to vote
ISSE
2010
14 years 12 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
98
Voted
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
135
click to vote
CORR
2010
Springer
15 years 1 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...
119
click to vote
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
138
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...