FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: