Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV.

Jonas Fritzsch, Tobias Schmid, Stefan Wagner

Browse the full ICST paper archive.