662 search results - page 63 / 133 » Model Checking Procedures for Infinite State Systems |
136
click to vote
VMCAI
2010
Springer
16 years 8 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
126
click to vote
QEST
2005
IEEE
15 years 8 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
121
click to vote
FATES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
130
click to vote
VLDB
2002
ACM
15 years 2 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
107
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...