Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.

Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop

Browse the full FM paper archive.