A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures

Daniel DunbarThomas HagedornMark BlackburnDinesh Verma2025-05-222025-05-222024jz000181-0027https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/39770600A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data StructuresArticlehttps://doi.org/10.3390/systems12010027