posteruole / 2023_analysis_compound_unit Goto Github PK
View Code? Open in Web Editor NEWThis repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
Home Page: https://github.com/MATF-Software-Verification/2023_Analysis_CompoundUnits