Matches in SemOpenAlex for { <https://semopenalex.org/work/W2902422645> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W2902422645 endingPage "134" @default.
- W2902422645 startingPage "117" @default.
- W2902422645 abstract "• A hierarchical approach decomposing a complex verification problem into simpler ones is proposed. • Use a system science tool called STAMP to help understand the nature of the control system to be verified. • A formal framework is brought up, so the overall safety property can be proved formally by proving sub-goals. • Arbitrary techniques and tools can be chosen to prove sub-goals if appropriate. Complexity is a major obstacle to apply formal verification techniques in industry. Assume-guarantee (AG) reasoning is a promising compositional verification approach to deal with complexity. Proper decomposition and assumption design is vital in AG reasoning. We are motivated by the fact that a good insight into the target system can help the formal verification. So, instead of trying to automate the AG reasoning process, an accident model called STAMP is adopted to help us get a better understanding of the safety control system to be verified and a strategy for decomposition and designing assumptions accordingly. This conceptual approach is exemplified by verifying a simplified train control system." @default.
- W2902422645 created "2018-12-11" @default.
- W2902422645 creator A5039789791 @default.
- W2902422645 creator A5067908158 @default.
- W2902422645 creator A5089026547 @default.
- W2902422645 date "2019-03-01" @default.
- W2902422645 modified "2023-10-12" @default.
- W2902422645 title "A hierarchical verification approach to verify complex safety control systems based on STAMP" @default.
- W2902422645 cites W1665427831 @default.
- W2902422645 cites W1999650798 @default.
- W2902422645 cites W2009965218 @default.
- W2902422645 cites W2064880497 @default.
- W2902422645 cites W2099529102 @default.
- W2902422645 cites W2140818581 @default.
- W2902422645 cites W2613596167 @default.
- W2902422645 cites W2750587933 @default.
- W2902422645 doi "https://doi.org/10.1016/j.scico.2018.11.006" @default.
- W2902422645 hasPublicationYear "2019" @default.
- W2902422645 type Work @default.
- W2902422645 sameAs 2902422645 @default.
- W2902422645 citedByCount "8" @default.
- W2902422645 countsByYear W29024226452020 @default.
- W2902422645 countsByYear W29024226452021 @default.
- W2902422645 countsByYear W29024226452022 @default.
- W2902422645 countsByYear W29024226452023 @default.
- W2902422645 crossrefType "journal-article" @default.
- W2902422645 hasAuthorship W2902422645A5039789791 @default.
- W2902422645 hasAuthorship W2902422645A5067908158 @default.
- W2902422645 hasAuthorship W2902422645A5089026547 @default.
- W2902422645 hasBestOaLocation W29024226451 @default.
- W2902422645 hasConcept C41008148 @default.
- W2902422645 hasConceptScore W2902422645C41008148 @default.
- W2902422645 hasFunder F4320321001 @default.
- W2902422645 hasLocation W29024226451 @default.
- W2902422645 hasOpenAccess W2902422645 @default.
- W2902422645 hasPrimaryLocation W29024226451 @default.
- W2902422645 hasRelatedWork W2093578348 @default.
- W2902422645 hasRelatedWork W2096946506 @default.
- W2902422645 hasRelatedWork W2350741829 @default.
- W2902422645 hasRelatedWork W2358668433 @default.
- W2902422645 hasRelatedWork W2376932109 @default.
- W2902422645 hasRelatedWork W2382290278 @default.
- W2902422645 hasRelatedWork W2390279801 @default.
- W2902422645 hasRelatedWork W2748952813 @default.
- W2902422645 hasRelatedWork W2766271392 @default.
- W2902422645 hasRelatedWork W2899084033 @default.
- W2902422645 hasVolume "172" @default.
- W2902422645 isParatext "false" @default.
- W2902422645 isRetracted "false" @default.
- W2902422645 magId "2902422645" @default.
- W2902422645 workType "article" @default.