@inproceedings{411c54e996a848ffa74fddcdbf759dff,
title = "Refinement of trace abstraction for real-time programs",
abstract = "Real-time programs are made of instructions that can perform assignments to discrete and real-valued variables. They are general enough to capture interesting classes of timed systems such as timed automata, stopwatch automata, time(d) Petri nets and hybrid automata. We propose a semi-algorithm using refinement of trace abstractions to solve both the reachability verification problem and the parameter synthesis problem for real-time programs. We report on the implementation of our algorithm and we show that our new method provides solutions to problems which are unsolvable by the current state-of-the-art tools.",
author = "Franck Cassez and Jensen, {Peter Gj{\o}l} and {Guldstrand Larsen}, Kim",
year = "2017",
doi = "10.1007/978-3-319-67089-8_4",
language = "English",
isbn = "9783319670881",
volume = "10506",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "42--58",
editor = "Matthew Hague and Igor Potapov",
booktitle = "Reachability Problems",
address = "United States",
note = "11th International Workshop on Reachability Problems, RP 2017 ; Conference date: 07-09-2017 Through 09-09-2017",
}