Verified Certification of Reachability Checking for Timed Automata
443
32. Wimmer, S., von
Mutius,
J.: Artifact for ”Verified
Certification of Reachability Checking for Timed Automata” (Feb 2020).
https://doi.org/10.5281/zenodo.3679245, https://doi.org/10.5281/zenodo.3679245
33. Xu, Q., Miao, H.: Formal verification framework for safety of real-time system
based on timed automata model in PVS. In: Proc. of the IASTED International
Conference on Software Engineering, 2006. pp. 107–112 (2006)
34. Xu, Q., Miao, H.: Manipulating clocks in timed automata using PVS. In: SNPD
2009. pp. 555–560 (2009). https://doi.org/10.1109/SNPD.2009.69
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium or
format, as long as you give appropriate credit to the original author(s) and the source,
provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.
443
32. Wimmer, S., von
Mutius,
J.: Artifact for ”Verified
Certification of Reachability Checking for Timed Automata” (Feb 2020).
https://doi.org/10.5281/zenodo.3679245, https://doi.org/10.5281/zenodo.3679245
33. Xu, Q., Miao, H.: Formal verification framework for safety of real-time system
based on timed automata model in PVS. In: Proc. of the IASTED International
Conference on Software Engineering, 2006. pp. 107–112 (2006)
34. Xu, Q., Miao, H.: Manipulating clocks in timed automata using PVS. In: SNPD
2009. pp. 555–560 (2009). https://doi.org/10.1109/SNPD.2009.69
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/),
which permits use, sharing, adaptation, distribution and reproduction in any medium or
format, as long as you give appropriate credit to the original author(s) and the source,
provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.