453 search results - page 50 / 91 » Using Symbolic Simulation for Bounded Property Checking |
115
click to vote
PLANX
2008
15 years 1 months ago
2008
Macro forest transducers (mfts) extend macro tree transducers (mtts) from ranked to unranked trees. Mfts are more powerful than mtts (operating on binary tree encodings) because t...
ARTS
1997
Springer
15 years 3 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
112
click to vote
IEEECIT
2005
IEEE
15 years 5 months ago
2005
IEEE
We report on a case study in which SAL model checkers have been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion prope...
CPHYSICS
2006
14 years 11 months ago
2006
Studies on the entanglement of n-qubit quantum systems have attracted a lot of interest during recent years. Despite the central role of entanglement in quantum information theory...
186
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...