Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141569384> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2141569384 endingPage "671" @default.
- W2141569384 startingPage "653" @default.
- W2141569384 abstract "Stateflow is an industrial tool for modeling and simulating control systems in model-based development. In this paper, we present our latest work on automatic verification of Stateflow using model-checking techniques. We propose an approach to systematically translate Stateflow diagrams to a formal modeling language called CSP# by precisely following Stateflow’s execution semantics, which is described by examples. A translator is developed inside the Process Analysis Toolkit (PAT) model checker to automate this process with the support of various Stateflow advanced modeling features. Formal analysis can be conducted on the transformed CSP# with PAT’s simulation and model-checking power. Using our approach, we can not only detect bugs in Stateflow diagrams, but also discover subtle semantics flaws in Stateflow user’s guide and demo cases." @default.
- W2141569384 created "2016-06-24" @default.
- W2141569384 creator A5054187995 @default.
- W2141569384 creator A5068911982 @default.
- W2141569384 creator A5077191756 @default.
- W2141569384 creator A5085067496 @default.
- W2141569384 creator A5089112512 @default.
- W2141569384 date "2012-06-06" @default.
- W2141569384 modified "2023-09-26" @default.
- W2141569384 title "Formal modeling and validation of Stateflow diagrams" @default.
- W2141569384 cites W1515421996 @default.
- W2141569384 cites W1529745375 @default.
- W2141569384 cites W1568350971 @default.
- W2141569384 cites W1963881032 @default.
- W2141569384 cites W1976054113 @default.
- W2141569384 cites W1977237988 @default.
- W2141569384 cites W2015713441 @default.
- W2141569384 cites W2034903806 @default.
- W2141569384 cites W2048340696 @default.
- W2141569384 cites W2080003993 @default.
- W2141569384 cites W2081620490 @default.
- W2141569384 cites W2083691537 @default.
- W2141569384 cites W2085857634 @default.
- W2141569384 cites W2096039823 @default.
- W2141569384 cites W2099529102 @default.
- W2141569384 cites W2129901874 @default.
- W2141569384 cites W2147163725 @default.
- W2141569384 cites W2150189917 @default.
- W2141569384 cites W2170064878 @default.
- W2141569384 doi "https://doi.org/10.1007/s10009-012-0235-0" @default.
- W2141569384 hasPublicationYear "2012" @default.
- W2141569384 type Work @default.
- W2141569384 sameAs 2141569384 @default.
- W2141569384 citedByCount "17" @default.
- W2141569384 countsByYear W21415693842013 @default.
- W2141569384 countsByYear W21415693842014 @default.
- W2141569384 countsByYear W21415693842015 @default.
- W2141569384 countsByYear W21415693842016 @default.
- W2141569384 countsByYear W21415693842018 @default.
- W2141569384 countsByYear W21415693842020 @default.
- W2141569384 countsByYear W21415693842021 @default.
- W2141569384 countsByYear W21415693842022 @default.
- W2141569384 crossrefType "journal-article" @default.
- W2141569384 hasAuthorship W2141569384A5054187995 @default.
- W2141569384 hasAuthorship W2141569384A5068911982 @default.
- W2141569384 hasAuthorship W2141569384A5077191756 @default.
- W2141569384 hasAuthorship W2141569384A5085067496 @default.
- W2141569384 hasAuthorship W2141569384A5089112512 @default.
- W2141569384 hasBestOaLocation W21415693842 @default.
- W2141569384 hasConcept C110251889 @default.
- W2141569384 hasConcept C111498074 @default.
- W2141569384 hasConcept C115903868 @default.
- W2141569384 hasConcept C179603123 @default.
- W2141569384 hasConcept C184337299 @default.
- W2141569384 hasConcept C199360897 @default.
- W2141569384 hasConcept C2777904410 @default.
- W2141569384 hasConcept C2779752788 @default.
- W2141569384 hasConcept C2780365114 @default.
- W2141569384 hasConcept C41008148 @default.
- W2141569384 hasConcept C75606506 @default.
- W2141569384 hasConcept C98045186 @default.
- W2141569384 hasConceptScore W2141569384C110251889 @default.
- W2141569384 hasConceptScore W2141569384C111498074 @default.
- W2141569384 hasConceptScore W2141569384C115903868 @default.
- W2141569384 hasConceptScore W2141569384C179603123 @default.
- W2141569384 hasConceptScore W2141569384C184337299 @default.
- W2141569384 hasConceptScore W2141569384C199360897 @default.
- W2141569384 hasConceptScore W2141569384C2777904410 @default.
- W2141569384 hasConceptScore W2141569384C2779752788 @default.
- W2141569384 hasConceptScore W2141569384C2780365114 @default.
- W2141569384 hasConceptScore W2141569384C41008148 @default.
- W2141569384 hasConceptScore W2141569384C75606506 @default.
- W2141569384 hasConceptScore W2141569384C98045186 @default.
- W2141569384 hasIssue "6" @default.
- W2141569384 hasLocation W21415693841 @default.
- W2141569384 hasLocation W21415693842 @default.
- W2141569384 hasOpenAccess W2141569384 @default.
- W2141569384 hasPrimaryLocation W21415693841 @default.
- W2141569384 hasRelatedWork W1532594742 @default.
- W2141569384 hasRelatedWork W1550519739 @default.
- W2141569384 hasRelatedWork W2109457818 @default.
- W2141569384 hasRelatedWork W2156223462 @default.
- W2141569384 hasRelatedWork W2605218250 @default.
- W2141569384 hasRelatedWork W2794092373 @default.
- W2141569384 hasRelatedWork W3014929273 @default.
- W2141569384 hasRelatedWork W3134155728 @default.
- W2141569384 hasRelatedWork W4287274265 @default.
- W2141569384 hasRelatedWork W2585473670 @default.
- W2141569384 hasVolume "14" @default.
- W2141569384 isParatext "false" @default.
- W2141569384 isRetracted "false" @default.
- W2141569384 magId "2141569384" @default.
- W2141569384 workType "article" @default.