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 |
Drucken
Impressum