VDM-SL execution library using public/private VDMPad servers.
-
Updated
Jun 9, 2015 - Python
VDM-SL execution library using public/private VDMPad servers.
Implements Formal Methods based Never-Losing Robot Player for Tic-Tac-Toe
Web Application Formal Exploiter.
SMT-Based CPS Parameter Synthesis and Repair
EMME: ECMAScript Memory Model Evaluator
A Python package for deal with logical formulas and formal systems (e.g. FOL)
WAFEx Model Creator.
transpiler from (a subset of) python to nuXmv
A docker environment and notebooks to experiment with Generative Adversarial Imitation Learning and Formal Methods
CoreIR Symbolic Analyzer
Python utilities for working with TLA+ specifications
Temporal Logic of Actions Modeling for Python
A script for running TLA+/TLC from the command line
Z-EVES for linux. Probably the only place you can find it
Concept of Python-based Formal Verification Framework
Python implementations for CryptoVerif – Python library and examples. No longer maintained.
The Verifiably Safe Reinforcement Learning Framework
Formal Methods in Software Development Project 2019/2020 - Generation of a controller for a game grid with obstacle and goal cell. The controller is generated by interrogating NuSMV as a blackbox and using the output appropriately.
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
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."