Ausgabe 4/2022
Inhalt (9 Artikel)
Generating test as a web service (TaaWS) through a method-based attribute grammar
Elahe Habibi, Seyed-Hasan Mirian-Hosseinabadi
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2
Sebastien Salva, Elliott Blot
DisCoveR: accurate and efficient discovery of declarative process models
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard
The probabilistic model checker Storm
Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Axel Legay, Tiziana Margaria
Approximate verification of concurrent systems using token structures and invariants
Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe
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 to: Reliable benchmarking: requirements and solutions
Dirk Beyer, Stefan Löwe, Philipp Wendler