4502 search results - page 169 / 901 » Regular Model Checking |
127
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
120
Voted
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
158
click to vote
TABLEAUX
2009
Springer
15 years 11 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...