Marella: A Tool for Simulation and Verification
No abstract available.
Related papers
- Surfer - An Extensible Waveform Viewer CAV 2025
- SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries TACAS 2025
- NeuReach: Learning Reachability Functions from Simulations TACAS 2022
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory TOPLAS 2014
- Pantomime: Constructive Leakage Proofs via Simulation PLDI 2026
- NV: an intermediate language for verification of network control planes PLDI 2020
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018