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)

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

This page was built for software: CirCUs