190 search results - page 7 / 38 » Towards model checking interpreted systems |
114
Voted
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
107
Voted
FASE
2008
Springer
15 years 12 hour ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
83
Voted
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
102
Voted
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
81
Voted
UM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...