141 search results - page 3 / 29 » Beyond Regular Model Checking |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
TACS
2001
Springer
13 years 12 months ago
2001
Springer
CAV
2000
Springer
13 years 11 months ago
2000
Springer
CSMR
2006
IEEE
14 years 1 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...
ENTCS
2006
13 years 7 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...