7 search results - page 1 / 2 » Comparing Forward and Backward Reachability as Tools for Saf... |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
CAV
1999
Springer
13 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
TACAS
2010
Springer
14 years 6 days ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
STTT
2008
13 years 5 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
KBSE
2005
IEEE
13 years 10 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...