Experiments with ZF Set Theory in HOL and Isabelle (1995)

Cached

Download Links

by Sten Agerholm , Mike Gordon
Venue:IN PROCEEDINGS OF THE 8TH INTERNATIONAL WORKSHOP ON HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS, LNCS
Citations:13 - 1 self

Active Bibliography

11 Merging HOL with Set Theory -- preliminary experiments – Mike Gordon - 1994
7 Set Theory, Higher Order Logic or Both? – Mike Gordon
395 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
290 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
97 Martin-Löf’s Type Theory – B. Nordström, K. Petersson, J. M. Smith - 2000
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
70 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
24 Formalized mathematics – John Harrison - 1996
1 Experiments in Formalizing Basic Category Theory in Higher Order Logic and Set Theory – Sten Agerholm - 1995