12981 search results - page 153 / 2597 » Model Checking (Abstract) |
110
click to vote
ENTCS
2008
15 years 2 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
152
click to vote
VMCAI
2010
Springer
16 years 3 days ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
120
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
125
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
100
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...