×

Found 3 Documents (Results 1–3)

Parameterized verification with automatically computed inductive assertions. (English) Zbl 0991.68541

Berry, GĂ©rard (ed.) et al., Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2102, 221-234 (2001).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: Link

Automatic deductive verification with invisible invariants. (English) Zbl 0978.68539

Margaria, Tiziana (ed.) et al., Tools and algorithms for the construction and analysis of systems. 7th international conference, TACAS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2031, 82-97 (2001).
MSC:  68Q60 68T15 68N30
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Year of Publication

Main Field

Software