VeriPhy

swMATH29643MaRDI QIDQ41357FDOQ41357

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=3192406

Cited In (10)

• VeriMon
• \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic
• Pegasus: sound continuous invariant generation
• Bellerophon
• ModelPlex
• Montre
• aerial
• MonPoly
• A verified theorem prover backend supported by a monotonic library
• DejaVu

This page was built for software: VeriPhy