Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. F. Andersen, K.D. Petersen, and J.S. Pettersson, ‘A Graphical Tool for Proving UNITY Progress', in Higher Order Logic Theorem Proving and its Applications, 7th International Workshop, T. Melham, and J. Camilleri (Eds.), pp. 17–32, Springer, LNCS 859, 1994.
2. N. Bjørner, a. Browne and Z. Manna, ‘Automatic Generation of Invariants and Intermediate Assertions', in First International Conference on Principles and Practice of Constraint Programming, U. Montanari (Ed.), LNCS, Cassis, France, September 1995.
3. J.C. Bradfield, ‘Verifying Temporal Properties of Systems', Birkhäuser, Progress in Theoretical Computer Science, 1992.
4. H. Busch, ‘Rule-Based Induction', in FORMAL METHODS IN SYSTEM DESIGN — Special Issue on HOL'92, Kluwer, Vol. 5, Issue 1 & 2, July/August 1994.
5. H. Busch, ‘A Practical Method for Reasoning About Distributed Systems in a Theorem Prover', in Higher Order Logic Theorem Proving and its Applications, 8th International Workshop, E.T. Schubert, P.J. Windley, J. Alves-Foss (Eds.), pp. 106–121, Springer, LNCS 971, 1995.