3387 search results - page 196 / 678 » Model-Checking for Real-Time Systems |
194
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
167
click to vote
EMSOFT
2003
Springer
16 years 6 days 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...
194
click to vote
CAV
2005
Springer
16 years 16 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
211
click to vote
FMCO
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
144
click to vote
FORTE
2010
15 years 8 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit