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