CITS5501 website. Visit https://cits5501.github.io/ to view the website.
-
Updated
Oct 31, 2024 - HTML
#
formal-methods
Here are 12 public repositories matching this topic...
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
-
Updated
Sep 26, 2024 - HTML
Rock on Coq for the Problem Solving Class at Nanjing University
tutorial
coq
theorem-proving
proof-assistant
classes
formal-methods
nanjing-university
problem-solving-class
-
Updated
Nov 13, 2019 - HTML
Ph.D dissertation website
formal-methods
software-product-lines
foda
process-algebras
operational-semantics
denotational-semantics
axiomatic-semantics
-
Updated
Aug 8, 2020 - HTML
A toy specification language designed for my high school's senior capstone project.
presentation
specification
formal-methods
formal-verification
design-document
specification-language
presentation-slides
-
Updated
Aug 14, 2023 - HTML
Implementing Efficient Data Structures using Program Calculation
-
Updated
Mar 4, 2016 - HTML
Inferara official website
theorem-proving
mathematics
formal-methods
web3
formal-verification
mathematical-logic
blockchain-security
-
Updated
Nov 10, 2024 - HTML
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
formal-semantics
formal-methods
smt
formal-languages
sat
hoare-logic
formal-specification
formal-logic
-
Updated
Jan 26, 2023 - HTML
-
Updated
Feb 12, 2017 - HTML
Formal Control Toolbox
-
Updated
Feb 14, 2023 - HTML
"Language Based Techonlogies for Security" Course Material
-
Updated
May 9, 2022 - HTML
Improve this page
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."