Concepts, algorithms and tools for model checking /
Katoen, Joost-Pieter.
Concepts, algorithms and tools for model checking / Joost-Pieter Katoen. - Erlangen : IMMD, 1999. - 292 p. ; 21 cm. - Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, v. 32, no. 1 0344-3515 ; .
Lecture Notes of the Course Mechanised Validation of Parallel Systems
Specifying and verifying and reasoning about programs.
Logics.
Especificación.
Verificación.
Razonamiento sobre programas.
Concepts, algorithms and tools for model checking / Joost-Pieter Katoen. - Erlangen : IMMD, 1999. - 292 p. ; 21 cm. - Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung, v. 32, no. 1 0344-3515 ; .
Lecture Notes of the Course Mechanised Validation of Parallel Systems
Specifying and verifying and reasoning about programs.
Logics.
Especificación.
Verificación.
Razonamiento sobre programas.