Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737): Difference between revisions

Latest revision as of 00:57, 30 July 2024

scientific article; zbMATH DE number 7580890

Language	Label	Description	Also known as
English	Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions	scientific article; zbMATH DE number 7580890

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

0 references

0 references

1 September 2022

0 references

zbMATH Keywords

formal static analysis

0 references

symbolic state space abstraction

0 references

k-induction

0 references

symbolic graphs

0 references

Isabelle

0 references

cites work

GitHub

0 references

A Modal-Logic Based Graph Abstraction

0 references

Rewriting abstract structures: materialization explained categorically

0 references

Inductive Invariant Checking with Partial Negative Application Conditions

0 references

k-Inductive Invariant Checking for Graph Transformation Systems

0 references

Fundamentals of algebraic graph transformation

0 references

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

0 references

Correctness of high-level transformation systems relative to nested conditions

0 references

Probabilistic timed graph transformation systems

0 references

Attributed Graph Constraints

0 references

Symbolic graphs for attributed graph constraints

0 references

Delaying Constraint Solving in Symbolic Graph Transformation

0 references

Lazy Graph Transformation

0 references

Verifying Monadic Second-Order Properties of Graph Programs

0 references

Programming Languages and Systems

0 references

Sound and Complete Abstract Graph Transformation

0 references

describes a project that uses

GitHub

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-51372-6_15

0 references

Identifiers

zbMATH Open document ID

1502.68160

0 references

DOI

10.1007/978-3-030-51372-6_15

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5100737

@@ Property / cites work @@
+A Modal-Logic Based Graph Abstraction
@@ Property / cites work: A Modal-Logic Based Graph Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting abstract structures: materialization explained categorically
+Normal rank
@@ Property / cites work @@
+Inductive Invariant Checking with Partial Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+k-Inductive Invariant Checking for Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Probabilistic timed graph transformation systems
@@ Property / cites work: Probabilistic timed graph transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed Graph Constraints
@@ Property / cites work: Attributed Graph Constraints / 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 @@
+Delaying Constraint Solving in Symbolic Graph Transformation
+Normal rank
@@ Property / cites work @@
+Lazy Graph Transformation
@@ Property / cites work: Lazy Graph Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Monadic Second-Order Properties of Graph Programs
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and Complete Abstract Graph Transformation
@@ Property / cites work: Sound and Complete Abstract Graph Transformation / rank @@
+Normal rank