Ausgabe 3/2018
Inhalt (4 Artikel)
Realizability of concurrent recursive programs
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl
An improved algorithm for the control synthesis of nonlinear sampled switched systems
Adrien Le Coënt, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Laurent Fribourg
Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
Rémy Boutonnet, Nicolas Halbwachs
Compact and efficiently verifiable models for concurrent systems
Hernán Ponce de León, Andrey Mokhov