VeriPhy

MaRDI QIDQ41357swMATHFDO

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

Cited in

(10)

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

This page was built for software: VeriPhy