Issue 4/2022
Content (9 Articles)
General
Generating test as a web service (TaaWS) through a method-based attribute grammar
Elahe Habibi, Seyed-Hasan Mirian-Hosseinabadi
General
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2
Sebastien Salva, Elliott Blot
Competitions and Challenges
DisCoveR: accurate and efficient discovery of declarative process models
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard
Open Access
Competitions and Challenges
The probabilistic model checker Storm
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
General
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Axel Legay, Tiziana Margaria
General
Approximate verification of concurrent systems using token structures and invariants
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
Open Access
General
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert
Correction
Correction to: Reliable benchmarking: requirements and solutions
Dirk Beyer, Stefan Löwe, Philipp Wendler