63 search results - page 1 / 13 » Algorithmic Algebraic Model Checking III: Approximate Method... |
ENTCS
2006
13 years 11 months ago
2006
CAV
2005
Springer
14 years 4 months ago
2005
Springer
AB
2007
Springer
14 years 5 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
FM
2006
Springer
14 years 2 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
FMICS
2008
Springer
14 years 11 days ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...