Monthly Archives: April 2013

CAV 2012, Day 1: Thoughts on Numerical Static Analysis

Eep! I completely forgot the notes I typed out way back in 2012 about CAV and have neglected this blog for a while now. The Gauge Domain: Scalable Analysis of Linear Inequality Invariants, Arnaud Venet There is a rather curious algorithmic … Continue reading

Posted in Uncategorized | Leave a comment