×

Found 9 Documents (Results 1–9)

Efficient CTL verification via Horn constraints solving. (English) Zbl 1482.68134

Gallagher, John P. (ed.) et al., Proceedings of the third workshop on Horn clauses for verification and synthesis, HCVS 2016, Eindhoven, The Netherlands, April 3, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 219, 1-14 (2016).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: arXiv Link

A numerical abstract domain based on expression abstraction and max operator with application in timing analysis. (English) Zbl 1155.68366

Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 370-384 (2008).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software