Implicit Definitions with Differential Equations for KeYmaera X (System Description)
Authors: James Gallicchio, Yong Kiam Tan, Stefan Mitsch and André Platzer
Paper Information
| Title: | Implicit Definitions with Differential Equations for KeYmaera X (System Description) |
| Authors: | James Gallicchio, Yong Kiam Tan, Stefan Mitsch and André Platzer |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | definitions, differential dynamic logic, verification of hybrid systems, theorem proving |
| Pages: | 10 |
| Talk: | Aug 10 09:20 (Session 110D: System Evolution and Termination) |
| Paper: |  |