×

Found 501 Documents (Results 1–100)

Fairness modulo theory: a new approach to LTL software model checking. (English) Zbl 1381.68157

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 49-66 (2015).
MSC:  68Q60 03B44 68N30
PDFBibTeX XMLCite
Full Text: DOI

Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement. (English) Zbl 1368.68251

Bouabana-Tebibel, Thouraya (ed.) et al., Formalisms for reuse and systems integration. Cham: Springer (ISBN 978-3-319-16576-9/pbk; 978-3-319-16577-6/ebook). Advances in Intelligent Systems and Computing 346, 1-25 (2015).
MSC:  68Q60 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 3

Main Field

Biographic Reference

all top 3

Software