Our recently published case study “Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples” is the cover story over the newest issue of UNIKON the magazine of the University of Konstanz.
Our recently published case study “Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples” is the cover story over the newest issue of UNIKON the magazine of the University of Konstanz.
Hi, I’m saeed afshari. student of computre eng in iran.
I’m interested in your work on spin model checker.
but i have a problem with spin on windows installation.
when i use set verification parameters, my CPU and mem usage goes to 100% and i have no result and i have to end task it.
did you have a same experience? and what should i do.
thank you.