1054 search results - page 3 / 211 » Abstract Regular Model Checking |
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
TACS
2001
Springer
15 years 2 months ago
2001
Springer
CAV
2000
Springer
15 years 1 months ago
2000
Springer
41
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer