software-verification
Here are 43 public repositories matching this topic...
-
Updated
May 8, 2020 - HTML
Software Verification course project - Fixing bugs using a working example as a specification
-
Updated
Sep 16, 2018 - Java
(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)
-
Updated
May 1, 2021 - TypeScript
-
Updated
Jul 21, 2023 - F#
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.
-
Updated
Feb 14, 2024 - HTML
SafePKT Flavor of RVT (a collection of tools/libraries to support both static and dynamic verification of Rust programs.)
-
Updated
Nov 16, 2021 - Rust
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.
-
Updated
Jun 25, 2022 - Java
This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.
-
Updated
Dec 16, 2023 - HTML
Language invariant AST abstraction with APIs to create, visualize or compare ASTs
-
Updated
Jan 2, 2021 - C#
Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.
-
Updated
Apr 19, 2024 - C
full-program induction technique extended to probabilistic programs
-
Updated
Aug 31, 2023 - C
About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle
-
Updated
Dec 16, 2022 - Isabelle
An interpreter for Denotational Semantics of While language
-
Updated
Apr 11, 2018 - Python
Lean4-Framework to reason about multithreaded algorithms
-
Updated
May 11, 2023 - Lean
Voila is proof outline checker for fine-grained concurrency verification
-
Updated
Apr 10, 2022 - Scala
Personal Webpage
-
Updated
Jul 25, 2023 - HTML
Write readable Hoare style proof outlines for imperative programs in Agda.
-
Updated
Jul 4, 2022 - Agda
4th Year Honours Thesis on Programming Language Semantics
-
Updated
Jun 13, 2016 - TeX
Improve this page
Add a description, image, and links to the software-verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the software-verification topic, visit your repo's landing page and select "manage topics."