Ausgabe 1-2/2021
Special Issue:'Best Papers from FM 2019'
Inhalt (10 Artikel)
Open Access
Pegasus: sound continuous invariant generation
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer
Open Access
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
Compositional verification of concurrent systems by combining bisimulations
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Open Access
Gray-box monitoring of hyperproperties with an application to privacy
Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour
Open Access
Integrating formal specifications into applications: the ProB Java API
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Open Access
Automatic verification of concurrent stochastic systems
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Information-flow control on ARM and POWER multicore processors
Graeme Smith, Nicholas Coughlin, Toby Murray
Static analysis for detecting high-level races in RTOS kernels
Rekha Pai, Abhishek Singh, Deepak D’Souza, Meenakshi D’Souza, Prathibha Prakash