Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. Conference paper. pp 147–162; Cite this conference paper. Download book PDF.
This paper proposes proof strategies in order to help the developer in the verification process through theorem proving, when adopting graph grammar as ...
The present work provides a theoretical foundation for theorem proving graph grammars with negative application conditions and attributes. This is achieved by ...
Proof strategies have beendeveloped [15] to help the users to discharge proof obligations generated by a GG specifica-tion in Rodin. Also, an alternative ...
Theorem proving graph grammars with attributes and negative ...
www.sciencedirect.com › article › pii
Jul 22, 2017 · Model correctness is demonstrated by generating and discharging a collection of proof obligations that ensure that the initial state is feasible ...
Proof strategies have been developed [15] to help the users to discharge proof obligations generated by a GG specifica- tion in Rodin. Also, an alternative ...
The main aim of this paper is to present the main existing approaches for the analysis of graph grammars considering each one of these techniques, ...
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. ... Towards the Use and Description of Proof Tactics for Theorem Proving Graph ...
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations · Computer Science. Brazilian Symposium on Formal Methods · 2013.
We propose a formal and mechanized framework which con- sists in verifying proof rules of the B method, which cannot be automat- ically proved by the elementary ...