The ASMKeY theorem prover
Stanislas Nanchen, Hubert Schmid, Peter H. Schmitt, Robert F. Stärk · Repository for Publications and Research Data (ETH Zurich) · 2004
Abstract. In [8], we presented a logic for Abstract State Machines (ASMs). In this technical report, we present an interactive theorem prover call ASMKeY where we implemented this logic. We also present a small case study to show the effectivness of our approach. 1