×

Found 7 Documents (Results 1–7)

Proving program invariance and termination by parametric abstraction, Lagrangian relaxation and semidefinite programming. (English) Zbl 1111.68503

Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 1-24 (2005).
MSC:  68Q60 68N30 90C22
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software