CirCUs

swMATH128MaRDI QIDQ12897

No author found.

Described by source

• Computer Aided Verification
• Theory and Applications of Satisfiability Testing

Related Items (7)

Symbolic techniques in satisfiability solving ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ SAT solver management strategies in IC3: an experimental approach ⋮ Unnamed Item ⋮ Hybrid BDD and All-SAT Method for Model Checking ⋮ Formal Methods for Hardware Verification ⋮ Laws of mission-based programming

This page was built for software: CirCUs