Deductive Verification of Invariants of State-Transition Systems

Dieter Hutter. Deductive Verification of Invariants of State-Transition Systems. In Otthein Herzog, Andreas Günter, editors, KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings. Volume 1504 of Lecture Notes in Computer Science, pages 153-164, Springer, 1998.