coreStar
From MaRDI portal
Software:30359
No author found.
Related Items (3)
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic ⋮ Viper: A Verification Infrastructure for Permission-Based Reasoning ⋮ Model checking for symbolic-heap separation logic with inductive predicates
This page was built for software: coreStar