rr99

V. Rusu, E. Singerman. On proving safety properties by integrating static analysis, theorem proving and abstraction. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), LNCS 1579, An improved version appeared as INRIA research report 3726, available at http://www.inria.fr/rrrt/rr-3726.html, Pages 178-192, 1999.

Contact

Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html

BibTex Reference

@InProceedings{rr99,
   Author = {Rusu, V. and Singerman, E.},
   Title = {On proving safety properties by integrating static analysis, theorem proving and abstraction},
   BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99)},
   Pages = {178--192},
   Series = {LNCS 1579},
   Publisher = {Springer Verlag},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)