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.
Matita Tutorial / Andrea Asperti; Wilmer Ricciotti; Claudio Sacerdoti Coen. - In: JOURNAL OF FORMALIZED REASONING. - ISSN 1972-5787. - STAMPA. - 7:2(2014), pp. 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.
