2004 search results - page 28 / 401 » Comparison of Model Checking Tools for Information Systems |
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
100
click to vote
MAM
2008
14 years 11 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
111
click to vote
IRI
2009
IEEE
15 years 6 months ago
2009
IEEE
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
QEST
2009
IEEE
15 years 6 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....