Proving Hybrid Protocols Correct
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Building reliable, high-performance networks with the Nuprl proof development system
Journal of Functional Programming
Meta-Logical Frameworks and Formal Digital Libraries
Verified Software: Theories, Tools, Experiments
An executable formalization of the HOL/Nuprl connection in the metalogical framework twelf
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
An interpretation of Isabelle/HOL in HOL light
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Importing HOL into Isabelle/HOL
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |