235 search results - page 19 / 47 » A Symbolic Symbolic State Space Representation |
FMSD
1998
14 years 11 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
115
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
CAV
2009
Springer
16 years 7 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...