Matches in SemOpenAlex for { <https://semopenalex.org/work/W1614449700> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1614449700 abstract "ELAN is a powerful language and environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. Timed automata is a class of continuous real-time models of reactive systems for which efficient model-checking algorithms have been devised. In this paper, we show that these algorithms can very easily be prototyped in the ELAN system. This paper argues through this example that rewriting based systems relying on rules and strategies are a good framework to prototype, study and test rather efficiently symbolic model-checking algorithms, i.e. algorithms which involve combination of graph exploration rules, deduction rules, constraint solving techniques and decision procedures." @default.
- W1614449700 created "2016-06-24" @default.
- W1614449700 creator A5030814966 @default.
- W1614449700 creator A5051149128 @default.
- W1614449700 creator A5055776480 @default.
- W1614449700 creator A5067372819 @default.
- W1614449700 date "2009-07-17" @default.
- W1614449700 modified "2023-09-23" @default.
- W1614449700 title "Verification of Timed Automata Using Rewrite Rules and Strategies" @default.
- W1614449700 cites W2004463571 @default.
- W1614449700 cites W2911583164 @default.
- W1614449700 cites W59365162 @default.
- W1614449700 hasPublicationYear "2009" @default.
- W1614449700 type Work @default.
- W1614449700 sameAs 1614449700 @default.
- W1614449700 citedByCount "0" @default.
- W1614449700 crossrefType "posted-content" @default.
- W1614449700 hasAuthorship W1614449700A5030814966 @default.
- W1614449700 hasAuthorship W1614449700A5051149128 @default.
- W1614449700 hasAuthorship W1614449700A5055776480 @default.
- W1614449700 hasAuthorship W1614449700A5067372819 @default.
- W1614449700 hasConcept C110251889 @default.
- W1614449700 hasConcept C112505250 @default.
- W1614449700 hasConcept C132525143 @default.
- W1614449700 hasConcept C154690210 @default.
- W1614449700 hasConcept C199360897 @default.
- W1614449700 hasConcept C2524010 @default.
- W1614449700 hasConcept C2776036281 @default.
- W1614449700 hasConcept C33923547 @default.
- W1614449700 hasConcept C41008148 @default.
- W1614449700 hasConcept C80444323 @default.
- W1614449700 hasConceptScore W1614449700C110251889 @default.
- W1614449700 hasConceptScore W1614449700C112505250 @default.
- W1614449700 hasConceptScore W1614449700C132525143 @default.
- W1614449700 hasConceptScore W1614449700C154690210 @default.
- W1614449700 hasConceptScore W1614449700C199360897 @default.
- W1614449700 hasConceptScore W1614449700C2524010 @default.
- W1614449700 hasConceptScore W1614449700C2776036281 @default.
- W1614449700 hasConceptScore W1614449700C33923547 @default.
- W1614449700 hasConceptScore W1614449700C41008148 @default.
- W1614449700 hasConceptScore W1614449700C80444323 @default.
- W1614449700 hasOpenAccess W1614449700 @default.
- W1614449700 hasRelatedWork W1496424806 @default.
- W1614449700 hasRelatedWork W1499518299 @default.
- W1614449700 hasRelatedWork W1505677092 @default.
- W1614449700 hasRelatedWork W1516288898 @default.
- W1614449700 hasRelatedWork W1539201627 @default.
- W1614449700 hasRelatedWork W1541174442 @default.
- W1614449700 hasRelatedWork W1541426137 @default.
- W1614449700 hasRelatedWork W1558598345 @default.
- W1614449700 hasRelatedWork W1565193401 @default.
- W1614449700 hasRelatedWork W1575138043 @default.
- W1614449700 hasRelatedWork W1575764074 @default.
- W1614449700 hasRelatedWork W1582717179 @default.
- W1614449700 hasRelatedWork W1582868218 @default.
- W1614449700 hasRelatedWork W1588072165 @default.
- W1614449700 hasRelatedWork W2156077234 @default.
- W1614449700 hasRelatedWork W2183622971 @default.
- W1614449700 hasRelatedWork W2528485792 @default.
- W1614449700 hasRelatedWork W255025080 @default.
- W1614449700 hasRelatedWork W2963063504 @default.
- W1614449700 hasRelatedWork W622304541 @default.
- W1614449700 isParatext "false" @default.
- W1614449700 isRetracted "false" @default.
- W1614449700 magId "1614449700" @default.
- W1614449700 workType "article" @default.