×

Found 24 Documents (Results 1–24)

On the efficiency of convex polyhedra. (English) Zbl 1525.68032

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 31-44 (2018).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Donut domains: efficient non-convex domains for abstract interpretation. (English) Zbl 1326.68094

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 235-250 (2012).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI HAL

Time-bounded verification of CTMCs against real-time specifications. (English) Zbl 1348.68126

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 26-42 (2011).
MSC:  68Q60 60J28 68Q87
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