25 Years of Model Checking History, Achievements, Perspectives Grumberg, Orna creator (edición) Veith, Helmut (edición) text monographic ING 1 libro electrónico en línea (VI, 230 p.) 1 recurso en línea Contiene: 1) El nacimiento de la verificación de modelos. 2) El comienzo de la verificación de modelos: una perspectiva personal. 3) Transferencia de tecnología de verificación. 4) Nuevos desafíos en la verificación de modelos. 5) Una retrospectiva sobre Murϕ. 6) Verificación de modelos: de las herramientas a la teoría. 7) Iteración de valor. 8) Quince años de verificación formal de propiedad en Intel. 9) Una vista desde la sala de máquinas: soporte computacional para la verificación de modelos simbólicos. 10) De la Iglesia y antes de PSL. 11) Sobre los méritos de los probadores temporales. 12) Diseño y síntesis de esqueletos de sincronización utilizando lógica temporal del tiempo de ramificación.13) Especificación y verificación de sistemas concurrentes. O. Grumberg, H. Veith. Licencias ilimitadas XX Algoritmos Computacionales - Tema Principal Control de Procesos - Modelos Matemáticos Modelos Matemáticos Lenguajes de Programación - Tema Principal Lenguajes Formales Lógica Matemática Lógica Formal Desarrollo de Sistemas Sistemas Computacionales - Prueba y Medición - Tema Principal Ingeniería Computacional 005. 131 GRU (Lecture Notes in Computer Science ; 5000 Theoretical Computer Science and General Issues) 978-3-540-69850-0 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/10.1007/978-3-540-69850-0 Licencias ilimitadas 20251023000000.0 000428926