Search Sciweavers | Sciweavers

220 search results - page 2 / 44

» Transition-Based Directed Model Checking

click to vote

TSE
2010

123views more TSE 2010»

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking

12 years 11 months ago

Download www.inf.uni-konstanz.de

Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...

Husain Aljazzar, Stefan Leue

claim paper

Read More »

click to vote

USS
2008

179views Operating System» more USS 2008»

Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking

13 years 7 months ago

Download suif.stanford.edu

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...

Michael C. Martin, Monica S. Lam

claim paper

Read More »

click to vote

TABLEAUX
2009
Springer

255views Artificial Intelligence» more TABLEAUX 2009»

Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

13 years 11 months ago

Download homes.dsi.unimi.it

We are interested in automatically proving safety properties of inﬁnite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...

Silvio Ghilardi, Silvio Ranise

claim paper

Read More »

click to vote

TACAS
2007
Springer

98views Algorithms» more TACAS 2007»

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking

13 years 10 months ago

Download www.informatik.uni-freiburg.de

Sebastian Kupferschmid, Klaus Dräger, Jö...

claim paper

Read More »