Monografie
Inductive invariant checking with partial negative application conditions
- Sprache
-
Englisch
- Identifier
-
1219661058
- Reihe
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam; 98
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
k-Inductive invariant checking for graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
On the operationalization of graph queries with generalized discrimination networks
Metric temporal graph logic over typed attributed graphs : extended version
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Interval probabilistic timed graph transformation systems
Probabilistic metric temporal graph logic
k-Inductive invariant checking for graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
On the operationalization of graph queries with generalized discrimination networks
Metric temporal graph logic over typed attributed graphs : extended version
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Interval probabilistic timed graph transformation systems
Probabilistic metric temporal graph logic
k-Inductive invariant checking for graph transformation systems
Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
Proceedings of the 8th Ph.D. retreat of the HPI research school on service-oriented systems engineering
Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants
Probabilistic timed graph transformation systems
Metric temporal graph logic over typed attributed graphs
On the operationalization of graph queries with generalized discrimination networks
Metric temporal graph logic over typed attributed graphs : extended version
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Proceedings of the 9th Ph.D. retreat of the HPI Research School on service-oriented systems engineering
Interval probabilistic timed graph transformation systems