site:pm.inf.ethz.ch - discu.eu

Hacker News

Nagini: A Static Verifier for Python [pdf] http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=EilersMueller18.pdf 40 comments 15/7/2018

Lobsters

Nagini: A Static Verifier for Python http://pm.inf.ethz.ch/publications/getpdf.php?bibname=Own&id=EilersMueller18.pdf 2 comments 14/7/2018 formalmethods , pdf , python

Reddit

Leveraging Rust Typesfor Modular Specification and Verification http://pm.inf.ethz.ch/publications/getpdf.php?bibname=own&id=astrauskasmuellerpolisummers19b.pdf 13 comments 5/10/2019 rust