4502 search results - page 2 / 901 » Regular Model Checking |
TACS
2001
Springer
13 years 10 months ago
2001
Springer
CAV
2000
Springer
13 years 9 months ago
2000
Springer
CORR
2008
Springer
13 years 5 months ago
2008
Springer
CSMR
2006
IEEE
13 years 11 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...