L. C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Mechanising BAN Kerberos by the Inductive Method - Bella, Paulson (1998) (2 citations) Self-citation (Paulson) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover. Springer, 1994. LNCS 828.
A Framework for Certified Program Analysis and Its.. - Chang, Chlipala, Necula (2006) (Correct)
No context found.
L. C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828, 1994.
Dependent Types for Program Termination Verification - Xi (2002) (7 citations) (Correct)
No context found.
Paulson, L.: 1994, Isabelle: A Generic Theorem Prover. Springer-Verlag LNCS 828.
Owicki/Gries in Isabelle/HOL - Nipkow, Nieto (1999) (1 citation) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of Lect. Notes in Comp. Sci. Springer-Verlag, 1994.
Proof Reuse for Deductive Program Verification - Beckert, Klebanov (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover. LNCS 828. Springer, 1994.
On the Mechanized Verification of Infinite Systems - Röckl, Esparza (Correct)
No context found.
L. C. Paulson. Isabelle: a generic theorem prover, volume 828 of LNCS. Springer, 1994.
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
No context found.
L.C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994. (94. contributions by Tobias Nipkow).
Proof Reuse for Program Verification Calculi - Beckert, Klebanov (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover. LNCS 828. 1994.
Names, Equations, Relations: Practical Ways to Reason about new .. - Stark (1997) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science 828. Springer-Verlag, 1994.
Building Executable Union Slices using Conditioned Slicing - Danicic, De Lucia, Harman (2004) (Correct)
No context found.
L. C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828:xvii + 321, 1994.
Certified Reasoning on Real Numbers and Objects in.. - Ciaffaglione (Correct)
No context found.
L. Paulson. Isabelle: a generic theorem prover. LNCS 828, 1994.
A Case Study of a Formalized Security Architecture - Brucker, Wolff (2003) (Correct)
No context found.
Paulson, L. C., "Isabelle: a generic theorem prover," LNCS 828, Springer, 1994.
Views and Concerns and Interrelationships - Lessons Learned from .. - Herrmann (2002) (Correct)
No context found.
L. C. Paulson. Isabelle -- A Generic Theorem Prover, volume 828 of LNCS.
Step by Step to Histories - Max Breitling And (2000) (Correct)
No context found.
L. C. Paulson. Logic and Computation. Cambridge University Press, 1987. 13 L. C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science828. Springer, 1994.
Statecharts: From Visual Syntax to Model--Theoretic Semantics - Gerald Luttgen Michael (Correct)
No context found.
L.C. Paulson. ISABELLE: A Generic Theorem Prover, vol. 828 of LNCS. Springer-Verlag, 1994.
Proof Terms for Simply Typed Higher Order Logic - Stefan Berghofer And (2000) (5 citations) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994.
Java Program Verification via a JVM Deep Embedding in ACL2 - Liu, Moore (2004) (Correct)
No context found.
L. C. Paulson. Isabelle: a generic theorem prover. Springer-Verlag, 1994.
Extending the Reach of Proof Planning by - Randomization And Restart (Correct)
No context found.
L. Paulson. Isabelle: a Generic Theorem Prover, volume 828 of LNCS. Springer GERMANY, 1994.
Inductive datatypes in HOL - lessons learned in Formal-Logic .. - Berghofer, Wenzel (1999) (4 citations) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer, 1994.
Formal Verification of Algorithm W: The Monomorphic Case - Nazareth, Nipkow (1996) (6 citations) (Correct)
No context found.
L. C. Paulson. Isabelle: A Generic Theorem Prover,volume 828 of Lect. Notes in Comp. Sci. Springer-Verlag,1994
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (7 citations) (Correct)
No context found.
L. Paulson. Isabelle: A Generic Theorem Prover. Springer Verlag, LNCS 929. 1994
A System for Testing and Verifying Functional-Logic Programs - Padawitz (2002) (1 citation) (Correct)
No context found.
L.C. Paulson, Isabelle: A Generic Theorem Prover, Springer LNCS 828 (1994)
A Logic for the Java Modeling Language JML - Poll, Jacobs (2000) (19 citations) (Correct)
No context found.
L.C. Paulson. Isabelle: A Generic Theorem Prover. Number 828 in Lect. Notes Comp. Sci. Springer, Berlin, 1994.
Mechanized Operational Semantics via (Co)Induction - Simon Ambler And (Correct)
No context found.
L.C. Paulson. Isabelle: A Generic Theorem Prover. Lecture Notes in Computer Science, 828, 1994.
A Prototype Generic Tool - Supporting The Embedding (1998) (Correct)
No context found.
Paulson LC, Isabelle: a generic theorem prover, LNCS, vol 828, 1994.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC