12981 search results - page 405 / 2597 » Model Checking (Abstract) |
134
click to vote
AAAI
2004
15 years 6 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
132
click to vote
ENTCS
2007
15 years 4 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)...
120
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
121
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
158
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...