On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction.

Vlad Rusu, Eli Singerman

Browse the full TACAS paper archive.