#

program-verification

Here are 4 public repositories matching this topic...

lisa

lisa-analyzer / lisa

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

java analysis static-analysis analyzer cybersecurity formal-methods lisa static-analyzer program-verification static-analyzers abstract-interpretation

Updated Apr 17, 2025
Java

VincenzoArceri / rust-lisa

Rust frontend for LiSA

rust static-analysis verification formal-methods lisa static-analyzer program-verification abstract-interpretation

Updated Jul 22, 2022
Java

Flunzmas / gym-autokey

An OpenAI gym environment for automated rule-based deductive program verification in KeY.

reinforcement-learning verification openai-gym formal-methods program-verification formal-verification gym-environment deductive-reasoning reinforcement-learning-environments

Updated Nov 13, 2020
Java

JhonTabio / OpenJML-Specs

Contains the specifications for the Java language used by OpenJML.

java showcase program-verification openjml

Updated Mar 26, 2024
Java

Improve this page

Add a description, image, and links to the program-verification topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the program-verification topic, visit your repo's landing page and select "manage topics."