621 search results - page 14 / 125 » Model Checking Probabilistic Distributed Systems |
RTS
2006
13 years 7 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
SSS
2009
Springer
14 years 2 months ago
2009
Springer
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
FORTE
2007
13 years 9 months ago
2007
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....