819 search results - page 25 / 164 » Using Assumptions to Distribute CTL Model Checking |
106
click to vote
TACAS
2000
Springer
15 years 4 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...
109
click to vote
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
114
Voted
ICPADS
2005
IEEE
15 years 6 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
112
click to vote
SIGMETRICS
2008
ACM
15 years 13 days ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
IGPL
2006
15 years 15 days ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...