2873 search results - page 144 / 575 » Model Checking and the Mu-calculus |
118
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
SSS
2009
Springer
15 years 10 months ago
2009
Springer
149
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
