Camelot

MaRDI QIDQ39927swMATHFDO

Official website http://groups.inf.ed.ac.uk/mrg/camelot/Gentle-Camelot/camelot-gentle-intro.html

Cited in

(7)

• Compositional schedulability analysis of real-time actor-based systems
• A program logic for resources
• Sumatra
• Viptos
• Grail
• Logic for Programming, Artificial Intelligence, and Reasoning
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits

This page was built for software: Camelot