De Nicola, Rocco (ed.); Kühn, Eva (ed.) Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. (English) Zbl 1346.68008 Lecture Notes in Computer Science 9763. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). xv, 417 p. (2016). Show indexed articles as search result. The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1346.68005].Indexed articles:Ábrahám, Erika; Kremer, Gereon, Satisfiability checking: theory and applications, 9-23 [Zbl 1390.68569]Jähnig, Nils; Göthel, Thomas; Glesner, Sabine, Refinement-based verification of communicating unstructured code, 61-75 [Zbl 1390.68185]Yavuz, Tuba, Combining predicate abstraction with fixpoint approximations, 104-120 [Zbl 1390.68443]Bendík, Jaroslav; Beneš, Nikola; Barnat, Jiří; Černá, Ivana, Finding boundary elements in ordered sets with application to safety and requirements analysis, 121-136 [Zbl 1390.68177]Bezděk, Peter; Beneš, Nikola; Barnat, Jiří; Černá, Ivana, LTL parameter synthesis of parametric timed automata, 172-187 [Zbl 1390.68422]Smith, Graeme, Model checking simulation rules for linearizability, 188-203 [Zbl 1390.68439]Hensel, Jera; Giesl, Jürgen; Frohn, Florian; Ströder, Thomas, Proving termination of programs with bitvector arithmetic by symbolic execution, 234-252 [Zbl 1390.68181]Gupta, Anshul; Schewe, Sven; Trivedi, Ashutosh; Deepak, Maram Sai Krishna; Padarthi, Bharath Kumar, Incentive Stackelberg mean-payoff games, 304-320 [Zbl 1390.91073] Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Nxx Theory of software 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1346.68005 PDFBibTeX XMLCite \textit{R. De Nicola} (ed.) and \textit{E. Kühn} (ed.), Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4--8, 2016. Proceedings. Cham: Springer (2016; Zbl 1346.68008) Full Text: DOI