On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Düsseldorf, Heinrich-Heine-Universität, Dissertation, 2022
- Schlagwort
-
Formale Methode
Softwareentwicklung
Verifikation
Softwarespezifikation
Softwaretest
Model Checking
B-Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Leuschel, Michael
Idani, Akram
- URN
-
urn:nbn:de:hbz:061-20230130-080614-7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:35 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Körner, Philipp
- Leuschel, Michael
- Idani, Akram
- Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
Entstanden
- 2023
Ähnliche Objekte (12)
Partial Order Reduction in Directed Model Checking
Partial-Order Reduction for General State Exploring Algorithms
Partial-order reduction for general state exploring algorithms
Partial-order reduction for general state exploring algorithms
Static Partial Order Reduction for Probabilistic Concurrent Systems
Initial computability, algebraic specifications, and partial algebras
Partial-order reduction and trail improvement in directedmodel checking
Analysis of partial order reduction techniques for automated planning
Formal specifications with higher order parameterization
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
Partial-order reduction for parity games and parameterised Boolean equation systems
Partial order games
Partial Order Reduction in Directed Model Checking
Partial-Order Reduction for General State Exploring Algorithms
Partial-order reduction for general state exploring algorithms
Partial-order reduction for general state exploring algorithms
Static Partial Order Reduction for Probabilistic Concurrent Systems
Initial computability, algebraic specifications, and partial algebras
Partial-order reduction and trail improvement in directedmodel checking
Analysis of partial order reduction techniques for automated planning
Formal specifications with higher order parameterization
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
Partial-order reduction for parity games and parameterised Boolean equation systems
Partial order games
Partial Order Reduction in Directed Model Checking
Partial-Order Reduction for General State Exploring Algorithms
Partial-order reduction for general state exploring algorithms
Partial-order reduction for general state exploring algorithms
Static Partial Order Reduction for Probabilistic Concurrent Systems
Initial computability, algebraic specifications, and partial algebras
Partial-order reduction and trail improvement in directedmodel checking
Analysis of partial order reduction techniques for automated planning
Formal specifications with higher order parameterization
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
Partial-order reduction for parity games and parameterised Boolean equation systems