Verification of distributed object-based systems.

DOI10.1007/B94120MaRDI QIDQ5902550zbMATH OpenOpenAlexFDO

Authors Fernando Luís Dotti, Luciana Foss, Leila Ribeiro, Osmar Marchi Dos Santos

Publication date 12 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94120

Mathematics Subject Classification ID

Distributed systems (68M14) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verifying object-based graph grammars
• Formal verification of object-oriented graph grammars specifications
• Stochastic object-based graph grammars
• Process specification and verification
• scientific article; zbMATH DE number 1231678

Cited in

(11)

• Towards automated software model checking using graph transformation systems and bogor
• Theorem proving graph grammars with attributes and negative application conditions
• Formal verification of object-oriented graph grammars specifications
• Code generation for parallel applications modelled with object-based graph grammars
• Stochastic object-based graph grammars
• Towards the Verification of Attributed Graph Transformation Systems
• Workshop on Petri Nets and Graph Transformations
• Correct transformation: from object-based graph grammars to PROMELA
• Verification of graph grammars using a logical approach
• Formal verification of graph grammars using mathematical induction
• A framework for the verification of infinite-state graph transformation systems

This page was built for publication: Verification of distributed object-based systems.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902550)