Checking safety properties using induction and a SAT-solver

• SHEERAN M.

Journal

• Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design, 2000

  Proceedings of the 3rd International Conference on Formal Methods in Computer-Aided Design, 2000 2000

  Springer-Verlag

Details

• CRID: 1570854175066509952
• NII Article ID: 80012230567
• Data Source:
  • CiNii Articles