Matches in SemOpenAlex for { <https://semopenalex.org/work/W2395686032> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2395686032 endingPage "137" @default.
- W2395686032 startingPage "117" @default.
- W2395686032 abstract "We introduce the graphical tool Syspect for modelling, specifying, and automatically verifying reactive systems with continuous real-time constraints and complex, possibly infinite data. For modelling these systems, a UML profile comprising component diagrams, protocol state machines, and class diagrams is used; for specifying the formal semantics of these models, the combination CSP-OZ-DC of CSP (Communicating Sequential Processes), OZ (Object-Z) and DC (Duration Calculus) is employed; for verifying properties of these specifications, translators are provided to the input formats of the model checkers ARMC (Abstraction Refinement Model Checker) and SLAB (Slicing Abstraction model checker) as well as the tool H-PILoT (Hierarchical Proving by Instantiation in Local Theory extensions). The application of the tool is illustrated by a selection of examples that have been successfully analysed with Syspect" @default.
- W2395686032 created "2016-06-24" @default.
- W2395686032 creator A5010223871 @default.
- W2395686032 creator A5014183151 @default.
- W2395686032 creator A5081682092 @default.
- W2395686032 creator A5084773409 @default.
- W2395686032 date "2011-01-01" @default.
- W2395686032 modified "2023-09-28" @default.
- W2395686032 title "Syspect:Modelling, specifying, and verifying real-time systems with rich data." @default.
- W2395686032 cites W133846551 @default.
- W2395686032 cites W1485298279 @default.
- W2395686032 cites W1502684417 @default.
- W2395686032 cites W1532054750 @default.
- W2395686032 cites W1545693302 @default.
- W2395686032 cites W1597414920 @default.
- W2395686032 cites W1992681819 @default.
- W2395686032 cites W2033071128 @default.
- W2395686032 cites W2101508170 @default.
- W2395686032 cites W2129384397 @default.
- W2395686032 cites W2134180922 @default.
- W2395686032 cites W2138362538 @default.
- W2395686032 cites W2167467151 @default.
- W2395686032 cites W3144368627 @default.
- W2395686032 cites W92182354 @default.
- W2395686032 hasPublicationYear "2011" @default.
- W2395686032 type Work @default.
- W2395686032 sameAs 2395686032 @default.
- W2395686032 citedByCount "0" @default.
- W2395686032 crossrefType "journal-article" @default.
- W2395686032 hasAuthorship W2395686032A5010223871 @default.
- W2395686032 hasAuthorship W2395686032A5014183151 @default.
- W2395686032 hasAuthorship W2395686032A5081682092 @default.
- W2395686032 hasAuthorship W2395686032A5084773409 @default.
- W2395686032 hasConcept C110251889 @default.
- W2395686032 hasConcept C111472728 @default.
- W2395686032 hasConcept C121332964 @default.
- W2395686032 hasConcept C124304363 @default.
- W2395686032 hasConcept C136764020 @default.
- W2395686032 hasConcept C138885662 @default.
- W2395686032 hasConcept C145644426 @default.
- W2395686032 hasConcept C168167062 @default.
- W2395686032 hasConcept C184337299 @default.
- W2395686032 hasConcept C199360897 @default.
- W2395686032 hasConcept C202446494 @default.
- W2395686032 hasConcept C2776190703 @default.
- W2395686032 hasConcept C2776235265 @default.
- W2395686032 hasConcept C2777904410 @default.
- W2395686032 hasConcept C41008148 @default.
- W2395686032 hasConcept C80444323 @default.
- W2395686032 hasConcept C97355855 @default.
- W2395686032 hasConceptScore W2395686032C110251889 @default.
- W2395686032 hasConceptScore W2395686032C111472728 @default.
- W2395686032 hasConceptScore W2395686032C121332964 @default.
- W2395686032 hasConceptScore W2395686032C124304363 @default.
- W2395686032 hasConceptScore W2395686032C136764020 @default.
- W2395686032 hasConceptScore W2395686032C138885662 @default.
- W2395686032 hasConceptScore W2395686032C145644426 @default.
- W2395686032 hasConceptScore W2395686032C168167062 @default.
- W2395686032 hasConceptScore W2395686032C184337299 @default.
- W2395686032 hasConceptScore W2395686032C199360897 @default.
- W2395686032 hasConceptScore W2395686032C202446494 @default.
- W2395686032 hasConceptScore W2395686032C2776190703 @default.
- W2395686032 hasConceptScore W2395686032C2776235265 @default.
- W2395686032 hasConceptScore W2395686032C2777904410 @default.
- W2395686032 hasConceptScore W2395686032C41008148 @default.
- W2395686032 hasConceptScore W2395686032C80444323 @default.
- W2395686032 hasConceptScore W2395686032C97355855 @default.
- W2395686032 hasLocation W23956860321 @default.
- W2395686032 hasOpenAccess W2395686032 @default.
- W2395686032 hasPrimaryLocation W23956860321 @default.
- W2395686032 hasRelatedWork W1494546726 @default.
- W2395686032 hasRelatedWork W1496424806 @default.
- W2395686032 hasRelatedWork W1501346358 @default.
- W2395686032 hasRelatedWork W1531715720 @default.
- W2395686032 hasRelatedWork W1539649080 @default.
- W2395686032 hasRelatedWork W1542369348 @default.
- W2395686032 hasRelatedWork W1543226704 @default.
- W2395686032 hasRelatedWork W1563202346 @default.
- W2395686032 hasRelatedWork W1568929251 @default.
- W2395686032 hasRelatedWork W1973348047 @default.
- W2395686032 hasRelatedWork W2026751635 @default.
- W2395686032 hasRelatedWork W2062335277 @default.
- W2395686032 hasRelatedWork W2138475270 @default.
- W2395686032 hasRelatedWork W2168769521 @default.
- W2395686032 hasRelatedWork W2261601900 @default.
- W2395686032 hasRelatedWork W2405297200 @default.
- W2395686032 hasRelatedWork W255025080 @default.
- W2395686032 hasRelatedWork W263936402 @default.
- W2395686032 hasRelatedWork W2915378562 @default.
- W2395686032 hasRelatedWork W2981695835 @default.
- W2395686032 hasVolume "5" @default.
- W2395686032 isParatext "false" @default.
- W2395686032 isRetracted "false" @default.
- W2395686032 magId "2395686032" @default.
- W2395686032 workType "article" @default.