481 search results - page 56 / 97 » Model Checking Abstract State Machines and Beyond |
140
click to vote
AMAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
151
click to vote
ASE
1999
15 years 4 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
125
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
Melodies provide an important conceptual summarization of polyphonic audio. The extraction of melodic content has practical applications ranging from content-based audio retrieval...
145
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
154
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...