Probabilistic timed graph transformation systems

DOI10.1016/j.jlamp.2018.09.003zbMath1400.68058OpenAlexW2649084227WikidataQ129216690 ScholiaQ129216690MaRDI QIDQ1994363

Christian Krause, Maria Maximova, Holger Giese

Publication date: 1 November 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-397055

zbMATH Keywords

graph transformationsprobabilistic timed automataHENSHINPRISM model checkerPTCTL

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions ⋮ Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic ⋮ A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies ⋮ Preface to the special issue on the 10th international conference on graph transformation ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Unnamed Item ⋮ Compositional analysis of probabilistic timed graph transformation systems ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Interval probabilistic timed graph transformation systems

Uses Software

• PMaude
• VESTA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• Semantics and pragmatics of real-time maude
• A theory of timed automata
• Automatic verification of real-time systems with discrete probability distributions.
• Symbolic model checking for probabilistic timed automata
• Fundamentals of algebraic graph transformation
• Probabilistic Graph Transformation Systems
• Probabilistic Timed Graph Transformation Systems

This page was built for publication: Probabilistic timed graph transformation systems