VeriPhy

swMATH29643MaRDI QIDQ41357FDOQ41357

Author name not available (Why is that?)

Cited In (3)

• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
• A Verified Theorem Prover Backend Supported by a Monotonic Library
• Pegasus: sound continuous invariant generation

This page was built for software: VeriPhy