Title: Model checking
Subjects: Datenverarbeitungssystem, Computersystemen, Engenharia de software, Modellen, Verificação e validação de software, Vérification, Model Checking, Verification, Logiciels, Computer systems, Verificatie, Operating systems (computers), Computer software, verification, COMPUTERS, Software Development & Engineering, Systems Analysis & Design, Modellen (theorie), Engineering & Applied Sciences, Computer Science, Sat (educational test), Models and modelmaking