Keyword: binary decision diagrams

• BDDs: BDD algorithms and proofs in Coq, by reflection
  Kumar Neeraj Verma
• CanonBDDs: Canonicity of Binary Decision Dags
  Emmanuel Ledinot
• SMC: BDD based symbolic model checker for the modal mu-calculus
  Kumar Neeraj Verma