Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
-
Updated
Jan 26, 2023 - HTML
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
Inferara official website
"Language Based Techonlogies for Security" Course Material
Formal Control Toolbox
Implementing Efficient Data Structures using Program Calculation
A toy specification language designed for my high school's senior capstone project.
Ph.D dissertation website
Rock on Coq for the Problem Solving Class at Nanjing University
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
CITS5501 website. Visit https://cits5501.github.io/ to view the website.
Verification framework and tool for higher-order Scala programs
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."