The paper “Simulink Design Verifier vs. SPIN – A Comparative Case Study” which was joint work with Stefan Leue and was presented at FMICS 08 is now available online.The paper is more or less a summary of my bachelor thesis.
The post Simulink Design Verifier vs. SPIN – A Comparative Case Study now available online appeared first on Dr.-Ing. Florian Leitner-Fischer.
