lisa-analyzer / lisa Star 64 Code Issues Pull requests 📚 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 Nov 6, 2025 Java
VincenzoArceri / rust-lisa Star 8 Code Issues Pull requests 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 Star 7 Code Issues Pull requests 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 Star 0 Code Issues Pull requests Contains the specifications for the Java language used by OpenJML. java showcase program-verification openjml Updated Mar 26, 2024 Java