Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620): Difference between revisions

Latest revision as of 13:16, 4 December 2024

scientific article; zbMATH DE number 7803183

Language	Label	Description	Also known as
English	Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic	scientific article; zbMATH DE number 7803183

Statements

instance of

scholarly article

0 references

title

Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (English)

0 references

0 references

0 references

0 references

Journal of Logical and Algebraic Methods in Programming

0 references

publication date

12 February 2024

0 references

zbMATH Keywords

cyber-physical systems

0 references

probabilistic timed systems

0 references

qualitative analysis

0 references

quantitative analysis

0 references

bounded model checking

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

A theory of timed automata

0 references

The benefits of relaxing punctuality

0 references

The benefits of relaxing punctuality

0 references

Model-checking continuous-time Markov chains

0 references

Q2754096

0 references

Q5322945

0 references

A framework for the verification of infinite-state graph transformation systems

0 references

Verification, Model Checking, and Abstract Interpretation

0 references

Monitoring Metric First-Order Temporal Properties

0 references

Algorithms for monitoring real-time properties

0 references

Lectures on Concurrency and Petri Nets

0 references

Timed Temporal Logics

0 references

Q3384894

0 references

Automatic verification of finite-state concurrent systems using temporal logic specifications

0 references

Fundamentals of algebraic graph transformation

0 references

Graph and model transformation. General framework and applications

0 references

Q5538132

0 references

Correctness of high-level transformation systems relative to nested conditions

0 references

A compositional modelling and analysis framework for stochastic hybrid systems

0 references

A logic for reasoning about time and reliability

0 references

Efficient Runtime Verification of First-Order Temporal Properties

0 references

Graph Transformations

0 references

Q3416073

0 references

Q4503930

0 references

Symbolic model checking for real-time systems

0 references

Bounded model checking for probabilistic programs

0 references

The Probabilistic Model Checking Landscape

0 references

Q4798030

0 references

Q4965870

0 references

Probabilistic Graph Transformation Systems

0 references

Automatic verification of real-time systems with discrete probability distributions.

0 references

A brief account of runtime verification

0 references

Probabilistic timed graph transformation systems

0 references

Compositional analysis of probabilistic timed graph transformation systems

0 references

Interval probabilistic timed graph transformation systems

0 references

Markov Chains

0 references

Symbolic graphs for attributed graph constraints

0 references

Probabilistic automata

0 references

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions

0 references

Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic

0 references

A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies

0 references

Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction

0 references

Probabilistic Metric Temporal Graph Logic

0 references

Identifiers

DOI

10.1016/j.jlamp.2023.100938

0 references

Mathematics Subject Classification ID

68-XX

0 references

zbMATH DE Number

7803183

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6151620

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for the verification of infinite-state graph transformation systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Monitoring Metric First-Order Temporal Properties
@@ Property / cites work: Monitoring Metric First-Order Temporal Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for monitoring real-time properties
@@ Property / cites work: Algorithms for monitoring real-time properties / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Temporal Logics
@@ Property / cites work: Timed Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384894
@@ Property / cites work: Q3384894 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Graph and model transformation. General framework and applications
+Normal rank
@@ Property / cites work @@
+Q5538132
@@ Property / cites work: Q5538132 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Runtime Verification of First-Order Temporal Properties
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416073
@@ Property / cites work: Q3416073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking for probabilistic programs
@@ Property / cites work: Bounded model checking for probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The Probabilistic Model Checking Landscape
@@ Property / cites work: The Probabilistic Model Checking Landscape / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798030
@@ Property / cites work: Q4798030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965870
@@ Property / cites work: Q4965870 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Graph Transformation Systems
@@ Property / cites work: Probabilistic Graph Transformation Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic timed graph transformation systems
@@ Property / cites work: Probabilistic timed graph transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional analysis of probabilistic timed graph transformation systems
+Normal rank
@@ Property / cites work @@
+Interval probabilistic timed graph transformation systems
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic graphs for attributed graph constraints
@@ Property / cites work: Symbolic graphs for attributed graph constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions
+Normal rank
@@ Property / cites work @@
+Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic
+Normal rank
@@ Property / cites work @@
+A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies
+Normal rank
@@ Property / cites work @@
+Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
+Normal rank
@@ Property / cites work @@
+Probabilistic Metric Temporal Graph Logic
@@ Property / cites work: Probabilistic Metric Temporal Graph Logic / rank @@
+Normal rank