Bounded Model Checking Using Satisfiability Solving 论文
2001Formal Methods in System Design引用 674
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques
详细信息
- 发表期刊/会议
- Formal Methods in System Design
- 发表日期
- 2001-07-01
- 发表年份
- 2001
关键词
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques