ISBN(13): 9780521543101 Título: LOGIC IN COMPUTER SCIENCE (MODELLING AND REASONING ABOUT SYSTEMS) ((2nd edition)) Autor/es: Mark Ryan ; Michael Huth ; Editorial: CAMBRIDGE UNIVERSITY PRESS..
El texto báse, Logic in Computer Science se utilizará como el material teórico de la asignatura. En concreto se se utilizarán los siguientes temas:
Capitulo 1: Propositional Logic. Se estudiará todo menos el apartado 1.6 SAT solvers
Capítulo 2: Predicate Logic. Entra todo.
Capítulo 3: Verification by Model Checking. Todo excepto los apartados 3.6 y 3.7
Capítulo 4: Program Verification. Todo menos el apartado 4.5
Capítulo 5: Modal Logic an Agents. Se estdiarán solo los apartados: 5.1, 5.2, 5.3
Los fundamentos de Alloy y algunos ejemplos están tratados en el apartado 2.7- Micromodels of software.
El entorno NuSMV se describe así mismo en el apartado 3.3- Model checking: systems, tools and properties.