100 search results - page 5 / 20 » Linear-Time Model Checking: Automata Theory in Practice |
111
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
117
click to vote
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
108
click to vote
ENTCS
2010
15 years 12 days ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
101
click to vote
IJFCS
2006
15 years 9 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
FLAIRS
2004
15 years 1 months ago
2004
It is a vital and challenging issue in AI community to get the "Right Information" to the "Right People" in the "Right Language" in the "Right T...