AIGER
From MaRDI portal
Cited in
(48)- Boolector
- QuBE++
- CoSA
- BtorMC
- QBFFam
- Kissat
- SAT competition
- BuDDy
- Certifying proofs for SAT-based model checking
- Runsolver
- JTLV
- Certified DQBF solving by definition extraction
- SPOT
- QUASY
- TeMP
- TLPVS
- Incremental column-wise verification of arithmetic circuits using computer algebra
- Cyclic-routing of unmanned aerial vehicles
- ABC
- RATSY
- Transalg
- nuXmv
- Kind 2
- JKind
- Model checking data flows in concurrent network updates
- scientific article; zbMATH DE number 5510691 (Why is no real title available?)
- Syrup
- BooleForce
- CaDiCaL
- Yosys
- Anteater
- mkplot
- Strix
- AdamMC
- zUpdate
- Kuai
- FatTire
- The configurable SAT solver challenge (CSSC)
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- EPFL
- Delag
- Oink
- RAReQS
- Pacheck
- Unbeast
- dCAQE
- BoSy
- Progress in certifying hardware model checking results
This page was built for software: AIGER
