93 search results - page 2 / 19 » Partial Order Reduction for Model Checking of Timed Automata |
ENTCS
2007
13 years 5 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
SAM
2004
13 years 6 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
ATVA
2004
Springer
13 years 10 months ago
2004
Springer
This paper proposes a partial order reduction algorithm for timed trace theoretic verification in order to detect both safety failures and timing failures of timed circuits effic...
SNPD
2008
13 years 6 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...
ACTA
2010
13 years 5 months ago
2010
