NDLI: Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin

Content Provider	IEEE Xplore Digital Library
Author	Lemos, L.C. Da Costa Cavalheiro, S.A. Foss, L.
Copyright Year	2013
Description	Author affiliation: Technol. Dev. Center, Fed. Univ. of Pelotas, Pelotas, Brazil (Lemos, L.C.; Da Costa Cavalheiro, S.A.; Foss, L.)
Abstract	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. A previous approach has proposed proof strategies to help the developer in the verification process through theorem proving, when adopting graph grammar as specification language. This paper proposes a visual representation for the proposed tactics, in order to turn them even more intuitive and user friendly.
Starting Page	51
Ending Page	58
File Size	487854
Page Count	8
File Format	PDF
ISBN	9781479930579
DOI	10.1109/WEIT.2013.24
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2013-10-15
Publisher Place	Brazil
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Context Visualization Theorem proving Graph grammar Mobile communication Discharges (electric) Grammar Proposals Formal methods Antennas
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin