Matches in SemOpenAlex for { <https://semopenalex.org/work/W144037624> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W144037624 abstract "Reachability analysis consists in checking if a state satisfying some property is reachable. In this paper a solution to the problem of generating formulae expressing reachability properties for concrete models is suggested. The traditional methods either require the user to input the formula manually, which can be very tedious and error-prone, or automatically generate formulae for some fixed set of common properties, which does not allow one to check custom properties. The proposed approach allows the user to write a concise abstract specification of the property in a specially developed language REACH, which is then automatically expanded into a formula for a concrete model. Its usefulness is demonstrated on several case studies." @default.
- W144037624 created "2016-06-24" @default.
- W144037624 creator A5008744860 @default.
- W144037624 date "2009-01-01" @default.
- W144037624 modified "2023-09-26" @default.
- W144037624 title "A Usable Reachability Analyser" @default.
- W144037624 cites W149082927 @default.
- W144037624 cites W1491226430 @default.
- W144037624 cites W1506444890 @default.
- W144037624 cites W1522291454 @default.
- W144037624 cites W1539546888 @default.
- W144037624 cites W1554812212 @default.
- W144037624 cites W1568909857 @default.
- W144037624 cites W1595075780 @default.
- W144037624 cites W1634760171 @default.
- W144037624 cites W1943502734 @default.
- W144037624 cites W2113355185 @default.
- W144037624 cites W2113936155 @default.
- W144037624 cites W2134829921 @default.
- W144037624 cites W2164024827 @default.
- W144037624 cites W2294994541 @default.
- W144037624 cites W2698419463 @default.
- W144037624 cites W2485149744 @default.
- W144037624 hasPublicationYear "2009" @default.
- W144037624 type Work @default.
- W144037624 sameAs 144037624 @default.
- W144037624 citedByCount "4" @default.
- W144037624 countsByYear W1440376242013 @default.
- W144037624 crossrefType "journal-article" @default.
- W144037624 hasAuthorship W144037624A5008744860 @default.
- W144037624 hasConcept C110251889 @default.
- W144037624 hasConcept C111472728 @default.
- W144037624 hasConcept C11413529 @default.
- W144037624 hasConcept C136643341 @default.
- W144037624 hasConcept C136764020 @default.
- W144037624 hasConcept C138885662 @default.
- W144037624 hasConcept C177264268 @default.
- W144037624 hasConcept C185592680 @default.
- W144037624 hasConcept C189950617 @default.
- W144037624 hasConcept C199360897 @default.
- W144037624 hasConcept C26834552 @default.
- W144037624 hasConcept C2777669093 @default.
- W144037624 hasConcept C2780615836 @default.
- W144037624 hasConcept C41008148 @default.
- W144037624 hasConcept C43617362 @default.
- W144037624 hasConcept C48103436 @default.
- W144037624 hasConcept C80444323 @default.
- W144037624 hasConceptScore W144037624C110251889 @default.
- W144037624 hasConceptScore W144037624C111472728 @default.
- W144037624 hasConceptScore W144037624C11413529 @default.
- W144037624 hasConceptScore W144037624C136643341 @default.
- W144037624 hasConceptScore W144037624C136764020 @default.
- W144037624 hasConceptScore W144037624C138885662 @default.
- W144037624 hasConceptScore W144037624C177264268 @default.
- W144037624 hasConceptScore W144037624C185592680 @default.
- W144037624 hasConceptScore W144037624C189950617 @default.
- W144037624 hasConceptScore W144037624C199360897 @default.
- W144037624 hasConceptScore W144037624C26834552 @default.
- W144037624 hasConceptScore W144037624C2777669093 @default.
- W144037624 hasConceptScore W144037624C2780615836 @default.
- W144037624 hasConceptScore W144037624C41008148 @default.
- W144037624 hasConceptScore W144037624C43617362 @default.
- W144037624 hasConceptScore W144037624C48103436 @default.
- W144037624 hasConceptScore W144037624C80444323 @default.
- W144037624 hasLocation W1440376241 @default.
- W144037624 hasOpenAccess W144037624 @default.
- W144037624 hasPrimaryLocation W1440376241 @default.
- W144037624 hasRelatedWork W149082927 @default.
- W144037624 isParatext "false" @default.
- W144037624 isRetracted "false" @default.
- W144037624 magId "144037624" @default.
- W144037624 workType "article" @default.