137
Voted
TABLEAUX
2009
Springer
15 years 9 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...