Counterexample Generation for Formal Verification of ABS

Counterexample Generation for Formal Verification of ABS

Bibliographic Details
Main Author: Rollshausen, Nils
Format: Others
Language:en
Published: 2021
Online Access:https://tuprints.ulb.tu-darmstadt.de/17856/1/CEG%20for%20ABS.pdf
Rollshausen, Nils <http://tuprints.ulb.tu-darmstadt.de/view/person/Rollshausen=3ANils=3A=3A.html> (2021): Counterexample Generation for Formal Verification of ABS. (Publisher's Version)Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856 <https://doi.org/10.26083/tuprints-00017856>, [Bachelor Thesis]

Internet

https://tuprints.ulb.tu-darmstadt.de/17856/1/CEG%20for%20ABS.pdf
Rollshausen, Nils <http://tuprints.ulb.tu-darmstadt.de/view/person/Rollshausen=3ANils=3A=3A.html> (2021): Counterexample Generation for Formal Verification of ABS. (Publisher's Version)Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856 <https://doi.org/10.26083/tuprints-00017856>, [Bachelor Thesis]

Similar Items