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
Course part 3
#269
Open
0xverif
opened
2 years ago
0xverif
commented
2 years ago
[ ] SAT & SMT
[x] Hoare Logic
[x] Model Checking
[x] Tour of FV in Blockchain
[x] Rewrite and Reachability Logic
[x] Introduction to the K Framework