VeriStar
From MaRDI portal
Software:21376
No author found.
Related Items (3)
Verified abstract interpretation techniques for disassembling low-level self-modifying code ⋮ Automated Theorem Proving for Assertions in Separation Logic with All Connectives ⋮ Verified heap theorem prover by paramodulation
This page was built for software: VeriStar
