Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981877881> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2981877881 abstract "Cyber-Physical Systems (CPS) are often mission-critical, therefore, they must be high-assurance. High-assurance CPS require extensive formal verification. Formal verification techniques can discover subtle design errors where simulation fails. However, due to the state explosion problem, formal techniques usually cannot handle large designs. This paper introduces a semi-formal verification methodology in which formal co-verification and co-simulation are tightly coupled. We propose an online-capture offline-replay approach to improve the usefulness for formal verification. We analyze these simulation traces, find some critical states and assisted with formal verification under these circumstances. The experiment results show that our approach has major potential in verifying system level properties of complex CPS, therefore improving the high-assurance of CPS." @default.
- W2981877881 created "2019-11-01" @default.
- W2981877881 creator A5011132245 @default.
- W2981877881 creator A5071773009 @default.
- W2981877881 creator A5073125952 @default.
- W2981877881 date "2019-01-01" @default.
- W2981877881 modified "2023-10-16" @default.
- W2981877881 title "An Semi-formal Co-verification Approach for High-Assurance CPS" @default.
- W2981877881 cites W1570292182 @default.
- W2981877881 cites W2010282078 @default.
- W2981877881 cites W2082778186 @default.
- W2981877881 cites W2090677007 @default.
- W2981877881 cites W2129751338 @default.
- W2981877881 cites W2293989893 @default.
- W2981877881 cites W2626764419 @default.
- W2981877881 cites W2770198223 @default.
- W2981877881 cites W2798244929 @default.
- W2981877881 cites W2909898614 @default.
- W2981877881 cites W3143956724 @default.
- W2981877881 doi "https://doi.org/10.1007/978-3-030-32216-8_16" @default.
- W2981877881 hasPublicationYear "2019" @default.
- W2981877881 type Work @default.
- W2981877881 sameAs 2981877881 @default.
- W2981877881 citedByCount "0" @default.
- W2981877881 crossrefType "book-chapter" @default.
- W2981877881 hasAuthorship W2981877881A5011132245 @default.
- W2981877881 hasAuthorship W2981877881A5071773009 @default.
- W2981877881 hasAuthorship W2981877881A5073125952 @default.
- W2981877881 hasConcept C110251889 @default.
- W2981877881 hasConcept C111498074 @default.
- W2981877881 hasConcept C115903868 @default.
- W2981877881 hasConcept C142284323 @default.
- W2981877881 hasConcept C149091818 @default.
- W2981877881 hasConcept C186846655 @default.
- W2981877881 hasConcept C187250869 @default.
- W2981877881 hasConcept C199360897 @default.
- W2981877881 hasConcept C202973057 @default.
- W2981877881 hasConcept C2777904410 @default.
- W2981877881 hasConcept C3406870 @default.
- W2981877881 hasConcept C41008148 @default.
- W2981877881 hasConcept C62460635 @default.
- W2981877881 hasConcept C75606506 @default.
- W2981877881 hasConcept C96654402 @default.
- W2981877881 hasConceptScore W2981877881C110251889 @default.
- W2981877881 hasConceptScore W2981877881C111498074 @default.
- W2981877881 hasConceptScore W2981877881C115903868 @default.
- W2981877881 hasConceptScore W2981877881C142284323 @default.
- W2981877881 hasConceptScore W2981877881C149091818 @default.
- W2981877881 hasConceptScore W2981877881C186846655 @default.
- W2981877881 hasConceptScore W2981877881C187250869 @default.
- W2981877881 hasConceptScore W2981877881C199360897 @default.
- W2981877881 hasConceptScore W2981877881C202973057 @default.
- W2981877881 hasConceptScore W2981877881C2777904410 @default.
- W2981877881 hasConceptScore W2981877881C3406870 @default.
- W2981877881 hasConceptScore W2981877881C41008148 @default.
- W2981877881 hasConceptScore W2981877881C62460635 @default.
- W2981877881 hasConceptScore W2981877881C75606506 @default.
- W2981877881 hasConceptScore W2981877881C96654402 @default.
- W2981877881 hasLocation W29818778811 @default.
- W2981877881 hasOpenAccess W2981877881 @default.
- W2981877881 hasPrimaryLocation W29818778811 @default.
- W2981877881 hasRelatedWork W2092349522 @default.
- W2981877881 hasRelatedWork W2106035292 @default.
- W2981877881 hasRelatedWork W2115240397 @default.
- W2981877881 hasRelatedWork W2141443374 @default.
- W2981877881 hasRelatedWork W2151755292 @default.
- W2981877881 hasRelatedWork W2162615969 @default.
- W2981877881 hasRelatedWork W2248653679 @default.
- W2981877881 hasRelatedWork W2981877881 @default.
- W2981877881 hasRelatedWork W2062674085 @default.
- W2981877881 hasRelatedWork W2096723742 @default.
- W2981877881 isParatext "false" @default.
- W2981877881 isRetracted "false" @default.
- W2981877881 magId "2981877881" @default.
- W2981877881 workType "book-chapter" @default.