2875 search results - page 150 / 575 » Model checking agentspeak |
100
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
SSS
2009
Springer
15 years 9 months ago
2009
Springer
137
click to vote
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...