12981 search results - page 16 / 2597 » Model Checking and Abstraction |
TACAS
2009
Springer
14 years 2 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...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
TACAS
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
ATVA
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...