Matches in SemOpenAlex for { <https://semopenalex.org/work/W2107218056> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2107218056 abstract "Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present an efficient solution to verify software models which formally specified by layered graph transformation systems - special types of graph transformation systems - using a model checker called Bogor." @default.
- W2107218056 created "2016-06-24" @default.
- W2107218056 creator A5000524499 @default.
- W2107218056 creator A5051803444 @default.
- W2107218056 creator A5078027689 @default.
- W2107218056 date "2009-01-01" @default.
- W2107218056 modified "2023-09-26" @default.
- W2107218056 title "Towards Automated Software Verification and Validation" @default.
- W2107218056 cites W1485541946 @default.
- W2107218056 cites W1537720651 @default.
- W2107218056 cites W1567193480 @default.
- W2107218056 cites W1577544661 @default.
- W2107218056 cites W1804076355 @default.
- W2107218056 cites W2001051416 @default.
- W2107218056 cites W2087252615 @default.
- W2107218056 cites W2108383522 @default.
- W2107218056 cites W2110876598 @default.
- W2107218056 cites W2124749939 @default.
- W2107218056 cites W2131966463 @default.
- W2107218056 cites W2159029283 @default.
- W2107218056 cites W2166220227 @default.
- W2107218056 cites W2519101978 @default.
- W2107218056 doi "https://doi.org/10.1109/icctd.2009.164" @default.
- W2107218056 hasPublicationYear "2009" @default.
- W2107218056 type Work @default.
- W2107218056 sameAs 2107218056 @default.
- W2107218056 citedByCount "0" @default.
- W2107218056 crossrefType "proceedings-article" @default.
- W2107218056 hasAuthorship W2107218056A5000524499 @default.
- W2107218056 hasAuthorship W2107218056A5051803444 @default.
- W2107218056 hasAuthorship W2107218056A5078027689 @default.
- W2107218056 hasConcept C104317684 @default.
- W2107218056 hasConcept C110251889 @default.
- W2107218056 hasConcept C115903868 @default.
- W2107218056 hasConcept C127413603 @default.
- W2107218056 hasConcept C132525143 @default.
- W2107218056 hasConcept C149091818 @default.
- W2107218056 hasConcept C154945302 @default.
- W2107218056 hasConcept C185592680 @default.
- W2107218056 hasConcept C186846655 @default.
- W2107218056 hasConcept C199360897 @default.
- W2107218056 hasConcept C204241405 @default.
- W2107218056 hasConcept C21547014 @default.
- W2107218056 hasConcept C2776436953 @default.
- W2107218056 hasConcept C2777904410 @default.
- W2107218056 hasConcept C2779791154 @default.
- W2107218056 hasConcept C33054407 @default.
- W2107218056 hasConcept C41008148 @default.
- W2107218056 hasConcept C48002344 @default.
- W2107218056 hasConcept C55493867 @default.
- W2107218056 hasConcept C558772884 @default.
- W2107218056 hasConcept C80444323 @default.
- W2107218056 hasConceptScore W2107218056C104317684 @default.
- W2107218056 hasConceptScore W2107218056C110251889 @default.
- W2107218056 hasConceptScore W2107218056C115903868 @default.
- W2107218056 hasConceptScore W2107218056C127413603 @default.
- W2107218056 hasConceptScore W2107218056C132525143 @default.
- W2107218056 hasConceptScore W2107218056C149091818 @default.
- W2107218056 hasConceptScore W2107218056C154945302 @default.
- W2107218056 hasConceptScore W2107218056C185592680 @default.
- W2107218056 hasConceptScore W2107218056C186846655 @default.
- W2107218056 hasConceptScore W2107218056C199360897 @default.
- W2107218056 hasConceptScore W2107218056C204241405 @default.
- W2107218056 hasConceptScore W2107218056C21547014 @default.
- W2107218056 hasConceptScore W2107218056C2776436953 @default.
- W2107218056 hasConceptScore W2107218056C2777904410 @default.
- W2107218056 hasConceptScore W2107218056C2779791154 @default.
- W2107218056 hasConceptScore W2107218056C33054407 @default.
- W2107218056 hasConceptScore W2107218056C41008148 @default.
- W2107218056 hasConceptScore W2107218056C48002344 @default.
- W2107218056 hasConceptScore W2107218056C55493867 @default.
- W2107218056 hasConceptScore W2107218056C558772884 @default.
- W2107218056 hasConceptScore W2107218056C80444323 @default.
- W2107218056 hasLocation W21072180561 @default.
- W2107218056 hasOpenAccess W2107218056 @default.
- W2107218056 hasPrimaryLocation W21072180561 @default.
- W2107218056 hasRelatedWork W129967661 @default.
- W2107218056 hasRelatedWork W1974611422 @default.
- W2107218056 hasRelatedWork W2012612235 @default.
- W2107218056 hasRelatedWork W2107218056 @default.
- W2107218056 hasRelatedWork W2181429460 @default.
- W2107218056 hasRelatedWork W2182746768 @default.
- W2107218056 hasRelatedWork W2295167139 @default.
- W2107218056 hasRelatedWork W2747183910 @default.
- W2107218056 hasRelatedWork W4320021907 @default.
- W2107218056 hasRelatedWork W2110591550 @default.
- W2107218056 isParatext "false" @default.
- W2107218056 isRetracted "false" @default.
- W2107218056 magId "2107218056" @default.
- W2107218056 workType "article" @default.