RustLog
A formalization of the Polonius model checker
by H. Haldi and M. Algelly
Monthly reports
Report 1
Report 2
Report 3
Final report