Verification, Model Checking and Abstract Interpretation

Refinement-based CFG reconstruction from unstructured programs

Sébastien Bardin, Philippe Herrmann, Franck Védrine · 2011 · 48 citations

Computing, Computer Science, Compilers +9

Verifying deadlock-freedom of communication fabrics

Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky · 2011 · 39 citations

Computing, Computer Science, Computer Systems +11

Collective assertions

Stephen F. Siegel, Timothy K. Zirkel · 2011 · 13 citations

Computing, Computer Engineering, Computer Science +17

Practical verification for the working programmer with codecontracts and abstract interpretation

Francesco Logozzo · 2011 · 12 citations

Computing, Computer Science, Formal Methods +13