|
Link zu diesem Datensatz
|
https://d-nb.info/1170528821
|
Art des Inhalts
|
Hochschulschrift
|
Titel
|
Verifying Concurrent Systems with Symbolic Execution : Temporal Reasoning is Symbolic Execution with a Little Induction / Michael Balser
|
Person(en)
|
Balser, Michael (Verfasser)
|
Ausgabe
|
1. Auflage
|
Verlag
|
Aachen : Shaker
|
Zeitliche Einordnung
|
Erscheinungsdatum: 2006
|
Umfang/Format
|
Online-Ressource, 241 Seiten (pdf)
|
Andere Ausgabe(n)
|
Erscheint auch als Druck-Ausgabe: Balser, Michael: Verifying concurrent systems with symbolic execution
|
Hochschulschrift
|
Dissertation, Universität Augsburg, 2005
|
Persistent Identifier
|
URN: urn:nbn:de:101:1-2018110405210807533048
|
ISBN/Einband/Preis
|
978-3-8322-5074-4
|
Sprache(n)
|
Englisch (eng)
|
Beziehungen
|
Berichte aus der Informatik
|
Anmerkungen
|
Lizenzpflichtig
|
Schlagwörter
|
Nebenläufigkeit ; Verifikation ; Model Checking ; Prozessalgebra ; Temporales Schließen ; Induktion
|
DDC-Notation
|
005.275015113 [DDC22ger]
|
Sachgruppe(n)
|
004 Informatik
|