AIGER
From MaRDI portal
Software:41082
swMATH29368MaRDI QIDQ41082FDOQ41082
Author name not available (Why is that?)
Cited In (9)
- Progress in certifying hardware model checking results
- Certified DQBF solving by definition extraction
- Certifying proofs for SAT-based model checking
- Model Checking Data Flows in Concurrent Network Updates
- Title not available (Why is that?)
- Title not available (Why is that?)
- The configurable SAT solver challenge (CSSC)
- Cyclic-routing of unmanned aerial vehicles
- Incremental column-wise verification of arithmetic circuits using computer algebra
This page was built for software: AIGER
