Matches in SemOpenAlex for { <https://semopenalex.org/work/W646207002> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W646207002 abstract "We present an algorithm that generates invariants for real-time models. The algorithm, further, prunes the model by first detecting, and then removing idle discrete transitions (transitions which can never be traversed). We next demonstrate how the generated invariants can be used to create a finite-state abstraction for the original model. To this end, we enhance the idea of predicate abstraction through fully incorporating locations of the concrete timed automata model in the abstraction phase." @default.
- W646207002 created "2016-06-24" @default.
- W646207002 creator A5011463106 @default.
- W646207002 date "2008-01-01" @default.
- W646207002 modified "2023-09-27" @default.
- W646207002 title "Culling predicates for the Verification of Real-Time Models" @default.
- W646207002 cites W121750629 @default.
- W646207002 cites W1484352250 @default.
- W646207002 cites W1497058589 @default.
- W646207002 cites W1497571013 @default.
- W646207002 cites W1517320587 @default.
- W646207002 cites W153567890 @default.
- W646207002 cites W1545265909 @default.
- W646207002 cites W1559035930 @default.
- W646207002 cites W1592459923 @default.
- W646207002 cites W1601517679 @default.
- W646207002 cites W1751719170 @default.
- W646207002 cites W1836483134 @default.
- W646207002 cites W198918365 @default.
- W646207002 cites W2041091076 @default.
- W646207002 cites W2042108411 @default.
- W646207002 cites W2043100293 @default.
- W646207002 cites W2101508170 @default.
- W646207002 cites W2126626789 @default.
- W646207002 cites W2129874841 @default.
- W646207002 cites W2151463894 @default.
- W646207002 cites W2151643528 @default.
- W646207002 cites W2742254142 @default.
- W646207002 cites W2519796367 @default.
- W646207002 hasPublicationYear "2008" @default.
- W646207002 type Work @default.
- W646207002 sameAs 646207002 @default.
- W646207002 citedByCount "0" @default.
- W646207002 crossrefType "journal-article" @default.
- W646207002 hasAuthorship W646207002A5011463106 @default.
- W646207002 hasConcept C110251889 @default.
- W646207002 hasConcept C111472728 @default.
- W646207002 hasConcept C112505250 @default.
- W646207002 hasConcept C11413529 @default.
- W646207002 hasConcept C124304363 @default.
- W646207002 hasConcept C138885662 @default.
- W646207002 hasConcept C140146324 @default.
- W646207002 hasConcept C167822520 @default.
- W646207002 hasConcept C199360897 @default.
- W646207002 hasConcept C2779907942 @default.
- W646207002 hasConcept C30888246 @default.
- W646207002 hasConcept C41008148 @default.
- W646207002 hasConcept C48103436 @default.
- W646207002 hasConcept C80444323 @default.
- W646207002 hasConceptScore W646207002C110251889 @default.
- W646207002 hasConceptScore W646207002C111472728 @default.
- W646207002 hasConceptScore W646207002C112505250 @default.
- W646207002 hasConceptScore W646207002C11413529 @default.
- W646207002 hasConceptScore W646207002C124304363 @default.
- W646207002 hasConceptScore W646207002C138885662 @default.
- W646207002 hasConceptScore W646207002C140146324 @default.
- W646207002 hasConceptScore W646207002C167822520 @default.
- W646207002 hasConceptScore W646207002C199360897 @default.
- W646207002 hasConceptScore W646207002C2779907942 @default.
- W646207002 hasConceptScore W646207002C30888246 @default.
- W646207002 hasConceptScore W646207002C41008148 @default.
- W646207002 hasConceptScore W646207002C48103436 @default.
- W646207002 hasConceptScore W646207002C80444323 @default.
- W646207002 hasLocation W6462070021 @default.
- W646207002 hasOpenAccess W646207002 @default.
- W646207002 hasPrimaryLocation W6462070021 @default.
- W646207002 hasRelatedWork W1100480035 @default.
- W646207002 hasRelatedWork W121111091 @default.
- W646207002 hasRelatedWork W1481528147 @default.
- W646207002 hasRelatedWork W1481934897 @default.
- W646207002 hasRelatedWork W14834933 @default.
- W646207002 hasRelatedWork W1494257722 @default.
- W646207002 hasRelatedWork W1598081036 @default.
- W646207002 hasRelatedWork W1604731269 @default.
- W646207002 hasRelatedWork W180991895 @default.
- W646207002 hasRelatedWork W2013635074 @default.
- W646207002 hasRelatedWork W2120526551 @default.
- W646207002 hasRelatedWork W2121482121 @default.
- W646207002 hasRelatedWork W2167722250 @default.
- W646207002 hasRelatedWork W2380536301 @default.
- W646207002 hasRelatedWork W2735956334 @default.
- W646207002 hasRelatedWork W2808006917 @default.
- W646207002 hasRelatedWork W2950151502 @default.
- W646207002 hasRelatedWork W29925209 @default.
- W646207002 hasRelatedWork W3036636165 @default.
- W646207002 hasRelatedWork W3049479974 @default.
- W646207002 isParatext "false" @default.
- W646207002 isRetracted "false" @default.
- W646207002 magId "646207002" @default.
- W646207002 workType "article" @default.