Charge!
From MaRDI portal
Software:34522
No author found.
Related Items (10)
Featherweight VeriFast ⋮ VST-Floyd: a separation logic tool to verify correctness of C programs ⋮ Mostly Sound Type System Improves a Foundational Program Verifier ⋮ Formally verifying exceptions for low-level code with separation logic ⋮ Temporary Read-Only Permissions for Separation Logic ⋮ LINCX: A Linear Logical Framework with First-Class Contexts ⋮ Backwards and forwards with separation logic ⋮ Extensible and Efficient Automation Through Reflective Tactics ⋮ A relational shape abstract domain ⋮ Charge!
This page was built for software: Charge!
