There is a newer version of the record available.

Published April 7, 2021 | Version v1.2.0
Software Open

ymherklotz/vericert: Vericert v1.2.0

Creators

  • 1. Imperial College London

Description

Features

  • Added memory inferrence support and proof.

Files

ymherklotz/vericert-v1.2.0.zip

Files (1.1 MB)

Name Size Download all
md5:5c9dbe536d666fcd33164a87f151bf5d
1.1 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/ymherklotz/vericert/tree/v1.2.0 (URL)