issues
search
makerdao
/
mkr-mcd-spec
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
Implement and test simple properties
#265
Open
0xverif
opened
2 years ago
0xverif
commented
2 years ago
[ ] Pick one property type and understand in theory how to formalize it in K (eg. proving coinvariant properties using one-path reachability engine)