Monografie
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
- Sprache
-
Deutsch
- Umfang
-
328 Seiten
- Identifier
-
1114762407
Thema
Programmverifikation; Modellprüfung; Geordnetes binäres Entscheidungsdiagramm; Nebenläufigkeit; Algorithmen; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:54 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Compositional Concurrent Program Verification with RGITL
Algebraic Calculi for Separation Logic
Advanced lectures on software engineering
Caching, crashing & concurrency - verification under adverse conditions
Programming languages and systems : 6th Asian symposium ; proceedings
Symbolische LTL-Verifikation von Petrinetzen
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Compositional Concurrent Program Verification with RGITL
Algebraic Calculi for Separation Logic
Advanced lectures on software engineering
Caching, crashing & concurrency - verification under adverse conditions
Programming languages and systems : 6th Asian symposium ; proceedings
Symbolische LTL-Verifikation von Petrinetzen
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings
Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme
Compositional Concurrent Program Verification with RGITL
Algebraic Calculi for Separation Logic
Advanced lectures on software engineering
Caching, crashing & concurrency - verification under adverse conditions
Programming languages and systems : 6th Asian symposium ; proceedings
Symbolische LTL-Verifikation von Petrinetzen
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : proceedings
Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings