formal-methods
Here are 33 public repositories matching this topic...
Converter of function block models from NuSMV to Promela (SPIN)
-
Updated
Jun 3, 2017 - Java
Verification tool for VHDL (or at least the prototype of one).
-
Updated
Oct 31, 2017 - Java
Using SeaHorn in Android Studio to check native code
-
Updated
Jan 24, 2018 - Java
a formal modeling tool that helps build reliable models and codes
-
Updated
Feb 26, 2018 - Java
Tool to test automation systems by means of model checking
-
Updated
Oct 3, 2018 - Java
Formal modelling of GitHub in VDM++ ; in collaboration with @EdgarACarneiro and @joao-conde
-
Updated
Jan 10, 2019 - Java
A toolkit for the creation of correct-by-construction arithmetic languages.
-
Updated
Nov 25, 2019 - Java
An eclipse-based graphical modeling tool for context identification and management. (Ali Baddour; Prof. Jun Sang)
-
Updated
May 11, 2020 - Java
An OpenAI gym environment for automated rule-based deductive program verification in KeY.
-
Updated
Nov 13, 2020 - Java
Unofficial, handwritten parser aimed at transpilation of the HAHA language.
-
Updated
Apr 26, 2021 - Java
Extensible HAHA transpiler.
-
Updated
Apr 26, 2021 - Java
Proof of concept
-
Updated
Jun 4, 2021 - Java
Seniz is a domain-specific language designed for Formalism-Driven Development (FDD).
-
Updated
Apr 12, 2022 - Java
Validation of management plans for multi-component applications
-
Updated
May 20, 2022 - Java
ADVANCED PROGRAMMING (CN5120) + FORMAL METHODS (CN6006) + ADVANCED TOPICS IN COMPUTER SCIENCE (6008)
-
Updated
Jun 5, 2022 - Java
Rust frontend for LiSA
-
Updated
Jul 22, 2022 - Java
-
Updated
Aug 29, 2022 - Java
A generic bounded model checker.
-
Updated
Oct 18, 2022 - Java
Utility for computing transition priorities for live Petri nets
-
Updated
Nov 16, 2022 - Java
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."