"Software engineering." . . "Logic circuits Design Testing." . . "Elaboratori elettronici - Sistemi integrati - Verifica." . . "vérification modèle." . . "Software Verificación." . . "Système informatique." . . "méthode formelle." . . "Verificação e validação de software." . . "Computer networks Testing." . . "Circuitos lógicos Diseño Verificación." . . "Ingeniería del software." . . "Modellen (theorie)" . . "Programmverifikation." . . "COMPUTERS Software Development & Engineering Systems Analysis & Design." . . "Rendszerelemzés számítógépes." . . "Logiciels Vérification." . . "Verificación de sistemas computacionales." . . "Program ellenőrző." . . "système informatique - vérification." . . "Verificació de programes." . . . . . . . . . . . . . . "Model checking" . "Model checking"@en . . . . . . . . . . . . . . . . . . . . . . . . "Electronic books"@en . . . . . . . . . . "This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to the subject or a reference for researchers." . . . . . . . . . . . . . . . . . . . . . . . . . . "Modellalkotás matematikai rendszerelmélet." . . "Modellen." . . "Computer software Testing." . . "Datenverarbeitungssystem." . . "Sistemas de computación Verificación." . . "Programtesztelés." . . "Automaták elmélete." . . "Redes de ordenadores Verificación." . . "Computersystemen." . . "Engenharia de software." . . "Verificatie." . . "Systèmes experts (Informatique) Vérification." . . "Model-checking (Informatique)" . . "Computer systems Verification." . . "Model Checking." . . "Systèmes informatiques Évaluation." . . "Ingeniería de sistemas." . . . . "concurrence." . .