A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures
Individual model verification is a common practice that increases the quality of design on the left side of the Vee model, often before costly builds and prototypes are implemented. However, verification that spans multiple models at higher levels of abstraction (e.g., subsystem, system, mission) is...
Main Authors: | Daniel Dunbar, Thomas Hagedorn, Mark Blackburn, Dinesh Verma |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2024-01-01
|
Series: | Systems |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-8954/12/1/27 |
Similar Items
-
UCLAONT: Ontology-Based UML Class Models Verification Tool
by: Adel Rajab, et al.
Published: (2022-01-01) -
Food Product Ontology: Initial Implementation of a Vocabulary for Describing Food Products
by: Maxim Kolchin, et al.
Published: (2013-11-01) -
Modeling and Verification of Simulation-Oriented Digital Selves
by: Zhaotong Wang, et al.
Published: (2023-06-01) -
Exploring biomedical ontology mappings with graph theory methods
by: Simon Kocbek, et al.
Published: (2017-03-01) -
Formal Verification of STPA with Model Checking
by: Ryeonggu Kwon, et al.
Published: (2023-03-01)