Jonas Fritzsch, Tobias Schmid, Stefan Wagner 0001. Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV. In 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021. pages 372-382, IEEE, 2021. [doi]
Abstract is missing.