lisa-analyzer / lisa Star 51 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 Aug 16, 2024 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