219 search results - page 2 / 44 » Context-Enhanced Directed Model Checking |
TACAS
2009
Springer
15 years 4 months 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
14 years 11 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
15 years 4 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
15 years 3 months ago
2007
Springer
SPIN
2001
Springer
15 years 1 months ago
2001
Springer