819 search results - page 13 / 164 » Using Assumptions to Distribute CTL Model Checking |
115
click to vote
IEEEHPCS
2010
14 years 11 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...
143
click to vote
DLT
2009
14 years 10 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
107
Voted
FMSD
2008
15 years 16 days ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
CODES
2002
IEEE
15 years 5 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...
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...