CirCUs

MaRDI QIDQ12897swMATHFDO

Official website http://vlsi.colorado.edu/~vis/releaseNotes/releaseNotes-2.3.html

Described by source

• Computer Aided Verification
• Theory and Applications of Satisfiability Testing

Cited in

(15)

• SBSAT
• zChaff
• ArcAngelC
• HANNIBAL
• HITEC
• SOCRATES
• PASSAT
• Laws of mission-based programming
• Safety-critical Java programs from \textsf{Circus} models
• An incremental algorithm to check satisfiability for bounded model checking
• ZRC
• Hybrid BDD and All-SAT Method for Model Checking
• SAT solver management strategies in IC3: an experimental approach
• Formal Methods for Hardware Verification
• Symbolic techniques in satisfiability solving

This page was built for software: CirCUs