Gabmeyer, Sebastian (ed.); Johnsen, Einar Broch (ed.) 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] Cited in 1 Review 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 \textit{S. Gabmeyer} (ed.) and \textit{E. B. Johnsen} (ed.), Tests and proofs. 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19--20, 2017. Proceedings. Cham: Springer (2017; Zbl 1367.68007) Full Text: DOI