High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28
stars
9
forks
source link
Specify and prove some of the properties in the mathematical model defined in #229 #232
Open
WilfredTA opened 3 years ago