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.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)