CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic
Authors: Paolo Felli, Marco Montali and Sarah Winkler
Paper Information
| Title: | CTL* Model Checking for Data-Aware Dynamic Systems with Arithmetic |
| Authors: | Paolo Felli, Marco Montali and Sarah Winkler |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | verification, counter systems, CTL*, arithmetic constraints, SMT |
| Pages: | 20 |
| Talk: | Aug 10 09:00 (Session 110D: System Evolution and Termination) |
| Paper: |  |