CirCUs

swMATH128MaRDI QIDQ12897FDOQ12897

Author name not available (Why is that?)

Described by source

• Computer Aided Verification
• Theory and Applications of Satisfiability Testing

Cited In (7)

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

This page was built for software: CirCUs