TU Darmstadt / ULB / TUbiblio

Counterexample Generation for Formal Verification of ABS

Rollshausen, Nils (2021):
Counterexample Generation for Formal Verification of ABS. (Publisher's Version)
Darmstadt, Technische Universität Darmstadt, DOI: 10.26083/tuprints-00017856,
[Bachelor Thesis]

Item Type: Bachelor Thesis
Erschienen: 2021
Creators: Rollshausen, Nils
Status: Publisher's Version
Title: Counterexample Generation for Formal Verification of ABS
Language: English
Place of Publication: Darmstadt
Collation: 52 Seiten
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 17 May 2021 13:59
DOI: 10.26083/tuprints-00017856
Official URL: https://tuprints.ulb.tu-darmstadt.de/17856
URN: urn:nbn:de:tuda-tuprints-178566
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details