Verification and Enforcement of Safe Schedules for Concurrent Programs

Verification and Enforcement of Safe Schedules for Concurrent Programs

Automated software verification can prove the correctness of a program with respect to a given specification and may be a valuable support in the difficult task of ensuring the quality of large software systems. However, the automated verification of concurrent software can be particularly chall...

Full description

Bibliographic Details
Main Author: Metzler, Patrick
Format: Others
Language:en
Published: 2020
Online Access:https://tuprints.ulb.tu-darmstadt.de/13432/13/Dissertation-Metzler.pdf
Metzler, Patrick <http://tuprints.ulb.tu-darmstadt.de/view/person/Metzler=3APatrick=3A=3A.html> (2020): Verification and Enforcement of Safe Schedules for Concurrent Programs. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00013432 <https://doi.org/10.25534/tuprints-00013432>, [Ph.D. Thesis]

Internet

https://tuprints.ulb.tu-darmstadt.de/13432/13/Dissertation-Metzler.pdf
Metzler, Patrick <http://tuprints.ulb.tu-darmstadt.de/view/person/Metzler=3APatrick=3A=3A.html> (2020): Verification and Enforcement of Safe Schedules for Concurrent Programs. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.25534/tuprints-00013432 <https://doi.org/10.25534/tuprints-00013432>, [Ph.D. Thesis]

Similar Items