Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945479170> ?p ?o ?g. }
- W2945479170 endingPage "40" @default.
- W2945479170 startingPage "22" @default.
- W2945479170 abstract "We present abstraction-refinement algorithms for model checking safety properties of timed automata. The abstraction domain we consider abstracts away zones by restricting the set of clock constraints that can be used to define them, while the refinement procedure computes the set of constraints that must be taken into consideration in the abstraction so as to exclude a given spurious counterexample. We implement this idea in two ways: an enumerative algorithm where a lazy abstraction approach is adopted, meaning that possibly different abstract domains are assigned to each exploration node; and a symbolic algorithm where the abstract transition system is encoded with Boolean formulas." @default.
- W2945479170 created "2019-05-29" @default.
- W2945479170 creator A5059019724 @default.
- W2945479170 creator A5081757443 @default.
- W2945479170 creator A5084605938 @default.
- W2945479170 date "2019-01-01" @default.
- W2945479170 modified "2023-09-27" @default.
- W2945479170 title "Abstraction Refinement Algorithms for Timed Automata" @default.
- W2945479170 cites W1482233117 @default.
- W2945479170 cites W1514172519 @default.
- W2945479170 cites W1514904193 @default.
- W2945479170 cites W1519587690 @default.
- W2945479170 cites W1535237014 @default.
- W2945479170 cites W1590315663 @default.
- W2945479170 cites W1596552075 @default.
- W2945479170 cites W1607269396 @default.
- W2945479170 cites W1819818805 @default.
- W2945479170 cites W1981808971 @default.
- W2945479170 cites W1991474412 @default.
- W2945479170 cites W2023808162 @default.
- W2945479170 cites W2043100293 @default.
- W2945479170 cites W2127574686 @default.
- W2945479170 cites W2147297760 @default.
- W2945479170 cites W2150220388 @default.
- W2945479170 cites W2344671925 @default.
- W2945479170 cites W2613596167 @default.
- W2945479170 cites W2739957888 @default.
- W2945479170 cites W2945479170 @default.
- W2945479170 cites W29925209 @default.
- W2945479170 cites W37658565 @default.
- W2945479170 cites W418200074 @default.
- W2945479170 cites W4252150051 @default.
- W2945479170 cites W59365162 @default.
- W2945479170 cites W837480072 @default.
- W2945479170 doi "https://doi.org/10.1007/978-3-030-25540-4_2" @default.
- W2945479170 hasPublicationYear "2019" @default.
- W2945479170 type Work @default.
- W2945479170 sameAs 2945479170 @default.
- W2945479170 citedByCount "7" @default.
- W2945479170 countsByYear W29454791702019 @default.
- W2945479170 countsByYear W29454791702020 @default.
- W2945479170 countsByYear W29454791702021 @default.
- W2945479170 countsByYear W29454791702022 @default.
- W2945479170 countsByYear W29454791702023 @default.
- W2945479170 crossrefType "book-chapter" @default.
- W2945479170 hasAuthorship W2945479170A5059019724 @default.
- W2945479170 hasAuthorship W2945479170A5081757443 @default.
- W2945479170 hasAuthorship W2945479170A5084605938 @default.
- W2945479170 hasBestOaLocation W29454791701 @default.
- W2945479170 hasConcept C110251889 @default.
- W2945479170 hasConcept C111472728 @default.
- W2945479170 hasConcept C112505250 @default.
- W2945479170 hasConcept C11413529 @default.
- W2945479170 hasConcept C118615104 @default.
- W2945479170 hasConcept C119857082 @default.
- W2945479170 hasConcept C124304363 @default.
- W2945479170 hasConcept C134306372 @default.
- W2945479170 hasConcept C138885662 @default.
- W2945479170 hasConcept C162838799 @default.
- W2945479170 hasConcept C177264268 @default.
- W2945479170 hasConcept C199360897 @default.
- W2945479170 hasConcept C30888246 @default.
- W2945479170 hasConcept C33923547 @default.
- W2945479170 hasConcept C36503486 @default.
- W2945479170 hasConcept C41008148 @default.
- W2945479170 hasConcept C80444323 @default.
- W2945479170 hasConcept C97256817 @default.
- W2945479170 hasConceptScore W2945479170C110251889 @default.
- W2945479170 hasConceptScore W2945479170C111472728 @default.
- W2945479170 hasConceptScore W2945479170C112505250 @default.
- W2945479170 hasConceptScore W2945479170C11413529 @default.
- W2945479170 hasConceptScore W2945479170C118615104 @default.
- W2945479170 hasConceptScore W2945479170C119857082 @default.
- W2945479170 hasConceptScore W2945479170C124304363 @default.
- W2945479170 hasConceptScore W2945479170C134306372 @default.
- W2945479170 hasConceptScore W2945479170C138885662 @default.
- W2945479170 hasConceptScore W2945479170C162838799 @default.
- W2945479170 hasConceptScore W2945479170C177264268 @default.
- W2945479170 hasConceptScore W2945479170C199360897 @default.
- W2945479170 hasConceptScore W2945479170C30888246 @default.
- W2945479170 hasConceptScore W2945479170C33923547 @default.
- W2945479170 hasConceptScore W2945479170C36503486 @default.
- W2945479170 hasConceptScore W2945479170C41008148 @default.
- W2945479170 hasConceptScore W2945479170C80444323 @default.
- W2945479170 hasConceptScore W2945479170C97256817 @default.
- W2945479170 hasLocation W29454791701 @default.
- W2945479170 hasLocation W29454791702 @default.
- W2945479170 hasLocation W29454791703 @default.
- W2945479170 hasLocation W29454791704 @default.
- W2945479170 hasLocation W29454791705 @default.
- W2945479170 hasLocation W29454791706 @default.
- W2945479170 hasOpenAccess W2945479170 @default.
- W2945479170 hasPrimaryLocation W29454791701 @default.
- W2945479170 hasRelatedWork W1514172519 @default.
- W2945479170 hasRelatedWork W1594074817 @default.
- W2945479170 hasRelatedWork W2003959877 @default.
- W2945479170 hasRelatedWork W2010830882 @default.
- W2945479170 hasRelatedWork W2105944109 @default.