FunFrog
From MaRDI portal
Software:18663
No author found.
Related Items (5)
eVolCheck: Incremental Upgrade Checker for C ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection ⋮ OpenSMT2: An SMT Solver for Multi-core and Cloud Computing ⋮ PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
This page was built for software: FunFrog
