713 search results - page 57 / 143 » Model Checking and Transitive-Closure Logic |
ACSD
2008
IEEE
15 years 1 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
114
click to vote
CONCUR
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
72
Voted
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
104
click to vote
FM
2003
Springer
15 years 4 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
EJWCN
2010
14 years 6 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...