Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amy P. Felty
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs
Related publications
Computational Metatheory in Nuprl
Protocol Verification Using Database Technology
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
Security Protocol Verification: Symbolic and Computational Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
Nuprl as Logical Framework for Automating Proofs in Category Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Protocol Conformance Test Cases Using Reachability Analysis
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
