TU Darmstadt / ULB / TUprints

Counterexample Generation for Formal Verification of ABS

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

[img]
Preview
Text
CEG for ABS.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

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