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