292 search results - page 1 / 59 » Model-checking agent refinement |
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
POLICY
2005
Springer
13 years 10 months ago
2005
Springer
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
FMCO
2005
Springer
13 years 10 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
ASM
2010
ASM
13 years 7 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
DAC
2004
ACM
14 years 5 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...