Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-95582-7_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Formalization and Verification of PLC Timers in Coq

2009English

Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs

ACM SIGPLAN Notices
Computer Science
2007English

Modular Verification of Higher-Order Methods With Mandatory Calls Specified by Model Programs

2007English

A Practical Type Analysis for Verification of Modular Prolog Programs

2008English

Extending Coq With Imperative Features and Its Application to SAT Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Weakest Precondition for General Recursive Programs Formalized in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy