Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1408.68008; Zbl 1408.68024; Zbl 1408.68025]. For Part II of the proceedings of the present conference see [Zbl 1471.68010].
Indexed articles:
Beyer, Dirk; Dangl, Matthias, Software verification with PDR: an implementation of the state of the art, 3-21 [Zbl 1507.68178]
Chakraborty, Supratik; Gupta, Ashutosh; Unadkat, Divyesh, Verifying array manipulating programs with full-program induction, 22-39 [Zbl 1507.68082]
Frohn, Florian, A calculus for modular loop acceleration, 58-76 [Zbl 1507.68087]
Okudono, Takamasa; King, Andy, Mind the gap: bit-vector interpolation recast over linear integer arithmetic, 79-96 [Zbl 1507.68338]
Ahmed, Daniele; Peruffo, Andrea; Abate, Alessandro, Automated and sound synthesis of Lyapunov functions with SMT solvers, 97-114 [Zbl 1507.68335]
Wang, Wenxi; Usman, Muhammad; Almaawi, Alyas; Wang, Kaiyuan; Meel, Kuldeep S.; Khurshid, Sarfraz, A study of symmetry breaking predicates and model counting, 115-134 [Zbl 1507.68221]
Cimatti, Alessandro; Geatti, Luca; Griggio, Alberto; Kimberly, Greg; Tonetta, Stefano, Safe decomposition of startup requirements: verification and synthesis, 155-172 [Zbl 1507.68180]
Sibai, Hussein; Mokhlesi, Navid; Fan, Chuchu; Mitra, Sayan, Multi-agent safety verification using symmetry transformations, 173-190 [Zbl 1507.68198]
Kolčák, Juraj; Dubut, Jérémy; Hasuo, Ichiro; Katsumata, Shin-Ya; Sprunger, David; Yamada, Akihisa, Relational differential dynamic logic, 191-208 [Zbl 1507.68189]
Frenkel, Hadar; Grumberg, Orna; Pasareanu, Corina; Sheinvald, Sarai, Assume, guarantee or repair, 211-227 [Zbl 1507.68186]
Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph, Structural invariants for the verification of systems with parameterized architectures, 228-246 [Zbl 1507.68179]
Oortwijn, Wytse; Huisman, Marieke; Joosten, Sebastiaan J. C.; van de Pol, Jaco, Automated verification of parallel nested DFS, 247-265 [Zbl 1517.68248]
Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk, Scenario-based verification of uncertain MDPs, 287-305 [Zbl 1507.68182]
Hahn, Ernst Moritz; Perez, Mateo; Schewe, Sven; Somenzi, Fabio; Trivedi, Ashutosh; Wojtczak, Dominik, Good-for-MDPs automata for probabilistic analysis and reinforcement learning, 306-323 [Zbl 1507.68167]
Funke, Florian; Jantsch, Simon; Baier, Christel, Farkas certificates and minimal witnesses for probabilistic reachability constraints, 324-345 [Zbl 1507.68187]
Delgrange, Florent; Katoen, Joost-Pieter; Quatmann, Tim; Randour, Mickael, Simple strategies in multi-objective MDPs, 346-364 [Zbl 1507.68183]
Mann, Makai; Barrett, Clark, Partial order reduction for deep bug finding in synchronous hardware, 367-386 [Zbl 1507.68194]
Akshay, S.; Gastin, Paul; Krishna, S.; Roychowdhury, Sparsa, Revisiting underapproximate reachability for multipushdown systems, 387-404 [Zbl 1507.68080]
Wimmer, Simon; von Mutius, Joshua, Verified certification of reachability checking for timed automata, 425-443 [Zbl 1507.68200]
An, Jie; Chen, Mingshuai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao, Learning one-clock timed automata, 444-462 [Zbl 1507.68163]