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]
|
Text
CEG for ABS.pdf Copyright Information: 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 |
PPN: | |
Export: |
![]() |
View Item |