219 search results - page 2 / 44 » Context-Enhanced Directed Model Checking |
TACAS
2009
Springer
14 years 7 hour ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
USS
2008
13 years 7 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
TABLEAUX
2009
Springer
13 years 11 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
SPIN
2001
Springer
13 years 9 months ago
2001
Springer