GitHub repository: BeverlyAb/DataFlow_Model
Primary language: C++
Description: Naive runtime to test if Formal Method V.1. works