AIGER
From MaRDI portal
swMATH29368MaRDI QIDQ41082FDOQ41082
Author name not available (Why is that?)
Official website: http://fmv.jku.at/aiger/
Cited In (48)
- Unbeast
- Progress in certifying hardware model checking results
- Model checking data flows in concurrent network updates
- dCAQE
- BoSy
- Delag
- Certified DQBF solving by definition extraction
- Kissat
- RAReQS
- Certifying proofs for SAT-based model checking
- Boolector
- Title not available (Why is that?)
- QuBE++
- SAT competition
- BuDDy
- SPOT
- JTLV
- Runsolver
- QUASY
- TeMP
- TLPVS
- ABC
- RATSY
- Transalg
- nuXmv
- JKind
- Kind 2
- Syrup
- BooleForce
- CaDiCaL
- Anteater
- Yosys
- mkplot
- AdamMC
- FatTire
- Strix
- Kuai
- zUpdate
- EPFL
- Title not available (Why is that?)
- Oink
- CoSA
- BtorMC
- QBFFam
- The configurable SAT solver challenge (CSSC)
- Pacheck
- Cyclic-routing of unmanned aerial vehicles
- Incremental column-wise verification of arithmetic circuits using computer algebra
This page was built for software: AIGER
