Gast ::
| 001 | 62000 | ||
| 005 | 20250113092313.0 | ||
| 024 | 7 | _ | |2 URN |a urn:nbn:de:hbz:82-opus-964 |
| 024 | 7 | _ | |2 HBZ |a HT012996848 |
| 024 | 7 | _ | |2 OPUS |a 96 |
| 024 | 7 | _ | |2 Laufende Nummer |a 23361 |
| 037 | _ | _ | |a RWTH-CONV-123601 |
| 041 | _ | _ | |a English |
| 082 | _ | _ | |a 004 |
| 100 | 1 | _ | |0 P:(DE-82)068692 |a Spielmann, Marc |b 0 |e Author |
| 245 | _ | _ | |a Abstract state machines: verification problems and complexity |c vorgelegt von Marc Spielmann |h online, print |
| 260 | _ | _ | |a Aachen |b Publikationsserver der RWTH Aachen University |c 2000 |
| 260 | _ | _ | |c 2001 |
| 300 | _ | _ | |a 158 S. |
| 336 | 7 | _ | |0 PUB:(DE-HGF)11 |2 PUB:(DE-HGF) |a Dissertation / PhD Thesis |b phd |m phd |
| 336 | 7 | _ | |0 2 |2 EndNote |a Thesis |
| 336 | 7 | _ | |2 DRIVER |a doctoralThesis |
| 336 | 7 | _ | |2 BibTeX |a PHDTHESIS |
| 336 | 7 | _ | |2 DataCite |a Output Types/Dissertation |
| 336 | 7 | _ | |2 ORCID |a DISSERTATION |
| 500 | _ | _ | |a Prüfungsjahr: 2000. - Publikationsjahr: 2001 |
| 502 | _ | _ | |a Aachen, Techn. Hochsch., Diss., 2000 |g Fak01 |o 2000-06-21 |
| 520 | 3 | _ | |a Abstract state machines (ASMs) bilden das formale Fundament einer erfolgreichen Spezifikations- und Verifikationsmethode für komplexe dynamische Systeme. Darüberhinaus induzieren ASMs ein Berechnungsmodell auf Strukturen, welches – in gewissem Sinne – mächtiger und universeller ist als die Standard-Berechnungsmodelle der theoretischen Informatik. Eine Untersuchung von ASMs ist daher sowohl aus Sicht der angewandten Informatik als auch aus Sicht der theoretischen Informatik interessant. In der vorliegenden Arbeit werden praktisch relevante wie auch theoretisch motivierte Fragestellungen bezüglich ASMs untersucht. Gegenstand des ersten Teils der Arbeit ist die automatische Verifizierbarkeit von ASM-Spezifikationen. Im zweiten Teil werden das eigentliche ASM-Berechnungsmodell sowie wahlfreie Komplexitätsklassen, welche vor kurzem mittels ASMs definiert wurden, diskutiert. |l ger |
| 520 | _ | _ | |a Abstract state machines (ASMs) provide the formal foundation for a successful methodology for specification and verification of complex dynamic systems. In addition, ASMs induce a computation model on structures, which – in some sense – is more powerful and universal than the standard computation models in theoretical computer science. An investigation of ASMs is therefore interesting from both the point of view of applied computer science and the point of view of theoretical computer science. In the present thesis, practically relevant as well as theoretically motivated questions concerning ASMs are investigated. Subject of the first part of the thesis is the automatic verifiability of ASM specifications. In the second part, the ASM computation model itself and choiceless complexity classes, which have recently been defined by means of ASMs, are discussed. |l eng |
| 591 | _ | _ | |a Germany |
| 653 | _ | 7 | |a Informatik |
| 653 | _ | 7 | |2 ger |a Abstrakte Zustandsmaschine |
| 653 | _ | 7 | |2 ger |a Verifikation |
| 653 | _ | 7 | |2 ger |a Komplexitätsklasse |
| 700 | 1 | _ | |0 P:(DE-82)IDM00039 |a Grädel, Erich |b 1 |e Thesis advisor |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/62000/files/01_008.pdf |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/62000/files/62000_kardex.pdf |y Internal catalog entry |
| 909 | C | O | |o oai:publications.rwth-aachen.de:62000 |p openaire |p open_access |p urn |p driver |p VDB |p dnbdelivery |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 920 | 1 | _ | |0 I:(DE-82)100000_20140620 |k 100000 |l Fakultät für Mathematik, Informatik und Naturwissenschaften |x 0 |
| 970 | _ | _ | |a HT012996848 |
| 980 | _ | _ | |a phd |
| 980 | _ | _ | |a I:(DE-82)100000_20140620 |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a ConvertedRecord |
| 980 | _ | _ | |a FullTexts |
| 980 | 1 | _ | |a FullTexts |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|