TU Darmstadt / ULB / TUprints

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]

[img]
Preview
Text
CEG for ABS.pdf
Available under CC BY 4.0 International - Creative Commons, Attribution.

Download (1MB) | Preview
Item Type: Bachelor Thesis
Status: Publisher's Version
Title: Counterexample Generation for Formal Verification of ABS
Language: English
Place of Publication: Darmstadt
Collation: 52 Seiten
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: 20 Department of Computer Science > Software Engineering
Date Deposited: 17 May 2021 13:59
Last Modified: 17 May 2021 13:59
DOI: 10.26083/tuprints-00017856
URN: urn:nbn:de:tuda-tuprints-178566
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/17856
Export:
Actions (login required)
View Item View Item