232 search results - page 1 / 47 » Symbolic Bounded Conformance Checking of Model Programs |
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
SPIN
2001
Springer
14 years 1 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
ACSD
2008
IEEE
14 years 3 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
COMPSAC
2011
IEEE
12 years 9 months ago
2011
IEEE
