Login
- Title:
Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV
- Document type:
- Konferenzbeitrag
- Author(s):
- Fritzsch, Jonas; Schmid, Tobias; Wagner, Stefan
- Book / Congress title:
- 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
- Year:
- 2021
- Pages:
- 372-382
- Fulltext / DOI:
- doi:10.1109/ICST49551.2021.00049
BibTeX