AIGER
From MaRDI portal
Software:41082
No author found.
Related Items (9)
Progress in certifying hardware model checking results ⋮ Unnamed Item ⋮ Cyclic-routing of unmanned aerial vehicles ⋮ Incremental column-wise verification of arithmetic circuits using computer algebra ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ The configurable SAT solver challenge (CSSC) ⋮ Unnamed Item ⋮ Certifying proofs for SAT-based model checking ⋮ Certified DQBF solving by definition extraction
This page was built for software: AIGER
