On proving safety properties by integrating static analysis, theorem proving and abstraction (1998)

by V Rusu, E Singerman
Venue:In Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'99