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

IPSJ Digital Courier
doi 10.2197/ipsjdc.1.117
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Information Processing Society of Japan

Related search

Encoding Featherweight Java With Assignment and Immutability Using the Coq Proof Assistant

2012English

Structural Analysis of Narratives With the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Formal Library for Elliptic Curves in the Coq Proof Assistant

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Foundational Extensible Corecursion: A Proof Assistant Perspective

ACM SIGPLAN Notices
Computer Science
2015English

Formalization and Verification of PLC Timers in Coq

2009English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Using Triples to Reason About Concurrent Programs

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy