VeriPhy
From MaRDI portal
Software:41357
No author found.
Related Items (3)
Pegasus: sound continuous invariant generation ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ A Verified Theorem Prover Backend Supported by a Monotonic Library
This page was built for software: VeriPhy
