×

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]

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
Full Text: DOI