共 50 条
- [41] ABC: An Academic Industrial-Strength Verification Tool COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 24 - 40
- [43] Requirements for industrial-strength formal method tools 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 137 - 138