Formal Methods for Open Object-Based Distributed Systems
From MaRDI portal
Publication:5902550
DOI10.1007/b94120zbMath1253.68059MaRDI QIDQ5902550
Fernando Luís Dotti, Leila Ribeiro, Luciana Foss, 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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
68M14: Distributed systems
Related Items
Formal Verification of Graph Grammars using Mathematical Induction, Correct transformation: from object-based graph grammars to PROMELA, Verification of graph grammars using a logical approach, A framework for the verification of infinite-state graph transformation systems, 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