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

Chapter
Publication Date:
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"
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Software/Program Verification; Formal methods; Mathematical aspects of software engineering
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/176651
Book title:
Formal Methods for Industrial Critical Systems: A Survey of Applications