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), Pages 178-192, 1999.

Jump to : Note | Contact | BibTex reference | EndNote reference |

Note on this paper

An improved version appeared as INRIA research report 3726, available at http://www.inria.fr/rrrt/rr-3726.html

Contact

Vlad Rusu
Vlad.Rusu@irisa.fr

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)

This page has been automatically generated using the bib2html program.