Articles liés

Articles écrits par Adrien Champion


Auteurs: Adrien Champion
Date: 2021-10-14
Catégorie: Formal Methods

Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl... (Lire plus)


Auteurs: Adrien Champion
Date: 2020-12-01
Catégorie: Rust

Memthol is a visualizer and analyzer for program profiling. It works on memory dumps containing information about the size and (de)allocation date of part of the allocations performed by some execution of a program. For information regarding building memthol, features, browser compatibility… refer... (Lire plus)


Auteurs: Adrien Champion
Date: 2019-03-05
Catégorie: Blockchains
Tags: michelson

We are pleased to announce the first release of Techelson, available here. Techelson is a Test Execution Engine for Michelson. It aims at testing functional properties of Michelson smart contracts. Make sure to check the user documentation to get a sense of Techelson's workflow and features. For Liq... (Lire plus)


Auteurs: Adrien Champion
Date: 2019-03-05
Catégorie: Blockchains
Tags: techelson, fr

Nous sommes fiers d’annoncer la première release de Techelson, moteur d’exécution de tests pour Michelson. Les programmeurs Liquidity peuvent également l’utiliser. Voir Techelson, a test execution engine for Michelson.... (Lire plus)