1541 search results - page 14 / 309 » Tools and Techniques for Model Checking Networked Programs |
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...
112
Voted
WWW
2005
ACM
16 years 1 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
100
click to vote
SNPD
2008
15 years 1 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
80
Voted
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...