LEVER: A Tool for Learning Based Verification
Abstract elided by the publisher.
Related papers
- StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems CAV 2025
- NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems CAV 2020
- Relational verification using reinforcement learning OOPSLA 2019
- NNV 2.0: The Neural Network Verification Tool CAV 2023
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution) TACAS 2019
- NeuReach: Learning Reachability Functions from Simulations TACAS 2022
- 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization VMCAI 2025