Ausgabe 3/2022
Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)
Inhalt (11 Artikel)
S.I.: ATVA 2021
Verifying verified code
Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel
Open Access
S.I. : ATVA 2021
Probabilistic causes in Markov chains
Robin Ziemek, Jakob Piribauer, Florian Funke, Simon Jantsch, Christel Baier
S.I. : ATVA 2021
Automated quantized inference for probabilistic programs with AQUA
Zixin Huang, Saikat Dutta, Sasa Misailovic
Open Access
S.I. : ATVA 2021
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata
Tobias John, Simon Jantsch, Christel Baier, Sascha Klüppelholz
S.I. : ATVA 2021
Certifying DFA Bounds for Recognition and Separation
Orna Kupferman, Nir Lavee, Salomon Sickert
Open Access
S.I. : ATVA 2021
AALpy: an active automata learning library
Edi Muškardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
S.I. : ATVA 2021
MaxSAT-based temporal logic inference from noisy data
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
Open Access
S.I. : ATVA 2021
Compositional synthesis of modular systems
Bernd Finkbeiner, Noemi Passing
Open Access
S.I. : ATVA 2021
Proving SIFA protection of masked redundant circuits
Vedad Hadžić, Robert Primas, Roderick Bloem