Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

DOI10.3233/FI-2010-303zbMath1217.68055OpenAlexW1591780766MaRDI QIDQ3002480

Edwin Brady, Kevin Hammond

Publication date: 20 May 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-303

zbMATH Keywords

concurrent programmingdomain-specific embedded language

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Ivor
• Ynot

This page was built for publication: Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols