Monografie
Correctness of Data Flows in Asynchronous Distributed Systems: Model Checking and Synthesis
- Language
-
Englisch
- Identifier
-
1282259105
Subject
Model Checking; Petri-Netz; Verifikation; Temporale Logik; Zeitbehafteter Automat; Formale Methode; Formale Spezifikationstechnik
Contributor
Gieseking, Manuel
Olderog, Ernst-Rüdiger
Finkbeiner, Bernd
Olderog, Ernst-Rüdiger
Finkbeiner, Bernd
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
02.05.2023, 9:12 AM CEST
Object type
- Monografie
Associated
- Gieseking, Manuel
- Olderog, Ernst-Rüdiger
- Finkbeiner, Bernd
Other Objects (12)
A uniform approach to the complexity and analysis of succinct systems
Model counting for reactive systems
Incomplete property checking for asynchronous reactive systems
Model-based quality assurance of intrumented context-free systems
A temporal logic approach to iInformation-flow control
Document verification with temporal description logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
A uniform approach to the complexity and analysis of succinct systems
Model counting for reactive systems
Incomplete property checking for asynchronous reactive systems
Model-based quality assurance of intrumented context-free systems
A temporal logic approach to iInformation-flow control
Document verification with temporal description logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Formal modeling and analysis of timed systems : 4th international conference ; proceedings
Formal modeling and analysis of timed systems : 5th international conference ; proceedings
A uniform approach to the complexity and analysis of succinct systems
Model counting for reactive systems
Incomplete property checking for asynchronous reactive systems
Model-based quality assurance of intrumented context-free systems
A temporal logic approach to iInformation-flow control
Document verification with temporal description logics
Formal modeling and analysis of timed systems : 6th international conference ; proceedings
Formal modeling and analysis of timed systems : 7th international conference ; proceedings
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Verification of reactive systems : formal methods and algorithms
Formal modeling and analysis of timed systems : 4th international conference ; proceedings