10038 search results - page 153 / 2008 » Model Checking for Managers |
113
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
92
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
148
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...
99
Voted
TAP
2009
Springer
15 years 10 months ago
2009
Springer
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
