×

Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017. Proceedings. (English) Zbl 1367.68007

Lecture Notes in Computer Science 10375. Cham: Springer (ISBN 978-3-319-61466-3/pbk; 978-3-319-61467-0/ebook). xi, 163 p. (2017).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1339.68003].
Indexed articles:
Boudhiba, Imen; Gaston, Christophe; Le Gall, Pascale; Prevosto, Virgile, Symbolic execution of transition systems with function summaries, 41-58 [Zbl 1491.68108]
Gerhold, Marcus; Stoelinga, Mariëlle, Model-based testing of probabilistic systems with stochastic time, 77-97 [Zbl 1491.68110]
Fazekas, Katalin; Heule, Marijn J. H.; Seidl, Martina; Biere, Armin, Skolem function continuation for quantified Boolean formulas, 129-138 [Zbl 1491.68192]
Reger, Giles; Suda, Martin; Voronkov, Andrei, Testing a saturation-based theorem prover: experiences and challenges, 152-161 [Zbl 1491.68261]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1339.68003
PDFBibTeX XMLCite
Full Text: DOI