My first workshop paper
I recently finished my bachelor thesis and will present a part of it as a short paper at the 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) in L’Aquila, Italy. Simulink Design Verifier vs. SPIN – A Comparative Case Study Florian Leitner and Stefan Leue Keywords State Space Exploration, Matlab Simulink, SPIN, …