• Arvid Jakobsson's avatar
    [dexter] functional certification of Dexter · 4f96fe56
    Arvid Jakobsson authored
    Dexter version: 4e24123.
    
    The formal specification is based on the informal specification dated
    September 31, 2020.
    
    This is a joint work by:
     - Arvid Jakobsson, Nomadic Labs
     - Kristina Sojakova, INRIA
     - Colin González, Nomadic Labs
    4f96fe56
dexter_verification_main.v 3.15 KB