Published June 5, 2019
| Version v1
Other
Open
Deadlock-Free Monitors and Channels
Authors/Creators
- 1. imec-DistriNet, Department of Computer Science, KU Leuven
Description
This repository provides a formalization and a soundness proof, carried out by Coq proof assistant v8.6, for deadlock-free monitors, a modular approach to verify deadlock-freedom of programs synchronized using condition variables.
Additionally, this repository contains a number of programs, which are synchronized using condition variables or communicate through channels, verified by the VeriFast program verifier.
Files
contents.md
Files
(2.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:411e23d3cd94eb0afa2017c98118560a
|
2.9 kB | Preview Download |