Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509227> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2509227 abstract "One way of developing reliable systems is through the use of Formal Methods. A Graph Grammar specification is visual and based in a simple mechanism of rewriting rules. On the other hand, verification through theorem proving allows the proof of properties for systems with huge (and infinite) state space. There is a previously proposed approach that has allowed the application of theorem proving technique to graph grammars. One of the disadvantages of such an approach (and theorem proving in general) is the specific mathematical knowledge required from the user for concluding the proofs. This paper proposes proof strategies in order to help the developer in the verification process through theorem proving, when adopting graph grammar as specification language." @default.
- W2509227 created "2016-06-24" @default.
- W2509227 creator A5046068016 @default.
- W2509227 creator A5082526740 @default.
- W2509227 creator A5086758955 @default.
- W2509227 date "2013-01-01" @default.
- W2509227 modified "2023-10-06" @default.
- W2509227 title "Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations" @default.
- W2509227 cites W132401744 @default.
- W2509227 cites W1665726835 @default.
- W2509227 cites W1971486022 @default.
- W2509227 cites W2007173831 @default.
- W2509227 cites W2072621429 @default.
- W2509227 cites W4244819751 @default.
- W2509227 doi "https://doi.org/10.1007/978-3-642-41071-0_11" @default.
- W2509227 hasPublicationYear "2013" @default.
- W2509227 type Work @default.
- W2509227 sameAs 2509227 @default.
- W2509227 citedByCount "2" @default.
- W2509227 countsByYear W25092272013 @default.
- W2509227 countsByYear W25092272015 @default.
- W2509227 crossrefType "book-chapter" @default.
- W2509227 hasAuthorship W2509227A5046068016 @default.
- W2509227 hasAuthorship W2509227A5082526740 @default.
- W2509227 hasAuthorship W2509227A5086758955 @default.
- W2509227 hasConcept C108710211 @default.
- W2509227 hasConcept C132525143 @default.
- W2509227 hasConcept C154945302 @default.
- W2509227 hasConcept C199360897 @default.
- W2509227 hasConcept C206880738 @default.
- W2509227 hasConcept C2524010 @default.
- W2509227 hasConcept C33923547 @default.
- W2509227 hasConcept C41008148 @default.
- W2509227 hasConcept C53893814 @default.
- W2509227 hasConcept C558772884 @default.
- W2509227 hasConcept C80444323 @default.
- W2509227 hasConcept C94461902 @default.
- W2509227 hasConceptScore W2509227C108710211 @default.
- W2509227 hasConceptScore W2509227C132525143 @default.
- W2509227 hasConceptScore W2509227C154945302 @default.
- W2509227 hasConceptScore W2509227C199360897 @default.
- W2509227 hasConceptScore W2509227C206880738 @default.
- W2509227 hasConceptScore W2509227C2524010 @default.
- W2509227 hasConceptScore W2509227C33923547 @default.
- W2509227 hasConceptScore W2509227C41008148 @default.
- W2509227 hasConceptScore W2509227C53893814 @default.
- W2509227 hasConceptScore W2509227C558772884 @default.
- W2509227 hasConceptScore W2509227C80444323 @default.
- W2509227 hasConceptScore W2509227C94461902 @default.
- W2509227 hasLocation W25092271 @default.
- W2509227 hasOpenAccess W2509227 @default.
- W2509227 hasPrimaryLocation W25092271 @default.
- W2509227 hasRelatedWork W110584469 @default.
- W2509227 hasRelatedWork W1483284084 @default.
- W2509227 hasRelatedWork W1512556106 @default.
- W2509227 hasRelatedWork W1515228883 @default.
- W2509227 hasRelatedWork W1576127349 @default.
- W2509227 hasRelatedWork W1579817434 @default.
- W2509227 hasRelatedWork W1587628431 @default.
- W2509227 hasRelatedWork W1597173728 @default.
- W2509227 hasRelatedWork W1598572838 @default.
- W2509227 hasRelatedWork W1602423174 @default.
- W2509227 hasRelatedWork W1619830180 @default.
- W2509227 hasRelatedWork W1965876066 @default.
- W2509227 hasRelatedWork W2048291423 @default.
- W2509227 hasRelatedWork W2060014458 @default.
- W2509227 hasRelatedWork W2079270503 @default.
- W2509227 hasRelatedWork W2125379699 @default.
- W2509227 hasRelatedWork W2159151953 @default.
- W2509227 hasRelatedWork W2356292951 @default.
- W2509227 hasRelatedWork W2534044660 @default.
- W2509227 hasRelatedWork W29316377 @default.
- W2509227 isParatext "false" @default.
- W2509227 isRetracted "false" @default.
- W2509227 magId "2509227" @default.
- W2509227 workType "book-chapter" @default.