1895 search results - page 98 / 379 » Using ATL for Checking Models |
137
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
127
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
137
click to vote
CORR
1999
Springer
15 years 4 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
128
click to vote
FMICS
2008
Springer
15 years 6 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...
123
click to vote
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...