Ausgabe 2/2020
SPIN 2018
Inhalt (8 Artikel)
Introduction to the Special Issue devoted to SPIN 2018
María del Mar Gallardo, Pedro Merino
Model-based testing of apps in real network scenarios
Laura Panizo, Almudena Díaz, Bruno García
Joint forces for memory safety checking revisited
Marek Chalupa, Jan Strejček, Martina Vitovská
IC3 software model checking
Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
Counting Petri net markings from reduction equations
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications
Hamzeh M. Allawi, Waref Al Manaseer, Mohammad Al Shraideh
Spatial logics and model checking for medical imaging
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
A formal approach to AADL model-based software engineering
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel