112 search results - page 14 / 23 » Compact explosion diagrams |
113
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
130
click to vote
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
107
Voted
ENTCS
2007
15 years 1 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
133
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
126
click to vote
ROBOCUP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...