Abstract State Machines: Verification Problems and Complexity

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. Acknowledgements I would like to thank my advisor, Erich Grädel, for many stimulating discussions, helpful suggestions, and providing direction for my research. Without his advic

Elastische Neutrinoreaktionen in Funkenkammer /

Thesis (doctoral)--Technische Hochschule Aachen, 1968

Streckgrenzenüberhöhung und ausgesprägter Fliessbereich vielkristalliner Aluminium-Magnesium-Legierungen.

Diss. Dokt. Naturwissenschafte