2872 search results - page 142 / 575 » On (Omega-)Regular Model Checking |
SSS
2009
Springer
15 years 10 months ago
2009
Springer
144
click to vote
TABLEAUX
2009
Springer
15 years 10 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
TAP
2009
Springer
15 years 10 months ago
2009
Springer
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
