Charge!

swMATH22731MaRDI QIDQ34522FDOQ34522

Author name not available (Why is that?)

Cited In (10)

• Extensible and Efficient Automation Through Reflective Tactics
• Charge!
• Mostly Sound Type System Improves a Foundational Program Verifier
• LINCX: A Linear Logical Framework with First-Class Contexts
• Backwards and forwards with separation logic
• A relational shape abstract domain
• Formally verifying exceptions for low-level code with separation logic
• Featherweight VeriFast
• Temporary Read-Only Permissions for Separation Logic
• VST-Floyd: a separation logic tool to verify correctness of C programs

This page was built for software: Charge!