54 search results - page 1 / 11 » Incompleteness of states w.r.t. traces in model checking |
IANDC
2006
13 years 4 months ago
2006
Cousot and Cousot introduced and studied a general past/future-time specification language, called
FORTE
1997
13 years 6 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
TSE
2010
12 years 11 months ago
2010
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...
SIGPLAN
2002
13 years 4 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...