Notre catalogue de ressources
Navigate by :
Menu
All resources
New resources
Advanced research
By theme
By author
Produced by UNIT
Help
Current search
By keywords
=
proof assistant
Print
RSS feed
Title
Title
Date
Author
Display 12
Display 12
Display 24
Display 36
Display 48
Display 60
Your attention please : access to the documents may be restricted, wheter for legal reasons, or imposed by the creator of the work.
1
resource
section from 1
to 1.0833333333333333
results
1 to 1
UNIT
Formal verification
Description
:
The Tezos blockchain has several advantages over its concurrents. One of them is the formal verification of smart contract. This module shows a brief overview of how Tezos smart contracts can be formally verified. We will first define in the Generalities section what is the formal verification of a ...
Complete descriptive sheet
Formal verification
Share
On Facebook
On Twitter
On Google+
On LinkedIn
On Viadeo
By email
On Scoop.it
On Pinterest
View the document
Show section from
2
to 1.0833333333333333