some work on abstract (i.e. not bytecode level) formal verification of maker/dai contracts
livnev / abstract-maker-fv Goto Github PK
View Code? Open in Web Editor NEWsome work on abstract (i.e. not bytecode level) formal verification of maker/dai contracts