Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Letan
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq
Related publications
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Formalization and Verification of PLC Timers in Coq
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
ACM SIGPLAN Notices
Computer Science
Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs
A Practical Type Analysis for Verification of Modular Prolog Programs
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Weakest Precondition for General Recursive Programs Formalized in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Modular Verification of Computer Communication Protocols
IEEE Transactions on Communications
