1895 search results - page 53 / 379 » Using ATL for Checking Models |
105
click to vote
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
94
Voted
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
100
click to vote
ICDCSW
2000
IEEE
15 years 6 months ago
2000
IEEE
We introduce a technique that can be used to model the behaviour of protocols. In our model each process within a protocol belongs to a particular class. A set of rules governs th...
117
Voted
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
112
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...