An interpreter for Denotational Semantics of While language
-
Updated
Apr 11, 2018 - Python
An interpreter for Denotational Semantics of While language
Lean4-Framework to reason about multithreaded algorithms
Abstractly represent software error traces as finite automata.
(my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)
This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.
Personal Webpage
SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)
Write readable Hoare style proof outlines for imperative programs in Agda.
A Model Checker in Rust
Formalisation of the linear lambda calculus in Coq
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
🌍 A poly-language execution-based violation-witness validator
DPLL(T)-based Verification tool for DNNs
Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.
Language invariant AST abstraction with APIs to create, visualize or compare ASTs
Add a description, image, and links to the software-verification topic page so that developers can more easily learn about it.
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."