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
|
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: |
 |
View Item |
Drucken
Impressum