verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
-
Updated
Nov 18, 2020 - F*
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language
Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)
Slides and code snippets for a talk I have given in November 2021.
Proving equivalence of spec for Poly1305 in HACL* and Vale
🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FStar category for AI2001, containing F* programming language datasets
A repository for showcasing my knowledge of the F* programming language, and continuing to learn the language.
The F* Programming language IDE submodule for SNU Programming Tools.
Add a description, image, and links to the fstar topic page so that developers can more easily learn about it.
To associate your repository with the fstar topic, visit your repo's landing page and select "manage topics."