1463 search results - page 49 / 293 » Model Checking Implicit-Invocation Systems |
140
click to vote
VMCAI
2010
Springer
15 years 11 months 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...
106
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
109
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
117
Voted
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
120
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...