698 search results - page 35 / 140 » Model Checking with Multi-valued Logics |
188
click to vote
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
125
click to vote
IEEEHPCS
2010
14 years 12 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We consider the problem of bounded model checking of systems expressed in a decidable fragment of first-order logic. While model checking is not guaranteed to terminate for an ar...
123
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...