928 search results - page 11 / 186 » Interpolation-sequence based model checking |
114
click to vote
LICS
2002
IEEE
15 years 2 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante†Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet†Michel de Rougemo...
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ï¬...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
CORR
2010
Springer
14 years 10 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...
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...