Formal Methods: applying {logics in, theoretical} computer science

Capitolo di libro
Data di Pubblicazione:
2013
Abstract:
An Introduction to Formal Methods is given within the scope of the book "Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications"
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Software/Program Verification; Formal methods; Mathematical aspects of software engineering
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/176651
Titolo del libro:
Formal Methods for Industrial Critical Systems: A Survey of Applications