Simulink Design Verifier vs. SPIN – A Comparative Case Study now available online

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.

Leave a Reply

Your email address will not be published. Required fields are marked *