2875 search results - page 150 / 575 » Model checking agentspeak |
85
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
79
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
90
Voted
SPIN
2009
Springer
15 years 7 months ago
2009
Springer
69
Voted
SSS
2009
Springer
15 years 7 months ago
2009
Springer
116
Voted
TABLEAUX
2009
Springer
15 years 7 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...