This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.
Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen (2014). Matita Tutorial. JOURNAL OF FORMALIZED REASONING, 7(2), 91-199 [10.6092/issn.1972-5787/4651].
Matita Tutorial
ASPERTI, ANDREA;SACERDOTI COEN, CLAUDIO
2014
Abstract
This tutorial provides a pragmatic introduction to the main functionalities of the Matita interactive theorem prover, offering a guided tour through a set of not so trivial examples in the field of software specification and verification.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
