Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

2011 ◽  
Author(s):  
Leila Ribeiro ◽  
Fernando Luis Dotti
Keyword(s):  
Concurrent Systems ◽  
Graph Grammars ◽  
Object Based

scholarly journals Stochastic Object-Based Graph Grammars

2007 ◽  
Vol 184 ◽  
pp. 151-170 ◽  
Author(s):  
Odorico M. Mendizabal ◽  
Fernando L. Dotti ◽  
Leila Ribeiro
Keyword(s):  
Graph Grammars ◽  
Object Based

scholarly journals Correct transformation: From object-based graph grammars to PROMELA

2012 ◽  
Vol 77 (3) ◽  
pp. 214-246 ◽  
Author(s):  
Leila Ribeiro ◽  
Osmar Marchi dos Santos ◽  
Fernando Luís Dotti ◽  
Luciana Foss
Keyword(s):  
Graph Grammars ◽  
Object Based

scholarly journals Proof Tactics for Theorem Proving Graph Grammars through Rodin

2015 ◽  
Vol 22 (1) ◽  
pp. 190
Author(s):  
Luiz Carlos Lemor Jr. ◽  
Simone André da Costa Cavalheiro ◽  
Luciana Foss
Keyword(s):  
State Space ◽  
Theorem Proving ◽  
Mathematical Knowledge ◽  
Formal Language ◽  
Visual Representation ◽  
Concurrent Systems ◽  
Graph Grammar ◽  
Graph Grammars ◽  
Verification Process ◽  
Infinite State

Graph grammar is a formal language suitable for the specification of distributed and concurrent systems. Theorem proving is a technique that allows the verification of systems with huge (and infinite) state space. One of the disadvantages of theorem proving graph grammars (and theorem proving in general) is the specific mathematical knowledge required from the user for concluding the proofs. Previous works have proposed proof strategies to help the developer in the verification process when adopting such approach, firstly establishing proof tactics for some properties and after proposing a visual representation for them. This paper extends the set of proposed tactics, with the aim of expanding the available strategies and encouraging the use of such a technique.

Sign in / Sign up

Export Citation Format

Share Document