Bounded Model Checking 论文

2009Frontiers in artificial intelligence and applications引用 217
DOI
Formal Methods in VerificationReal-time simulation and control systemsSoftware Testing and Debugging Techniques
Formal Methods in VerificationSoftware Testing and Debugging TechniquesReal-time simulation and control systems
相关技术:Formal Methods in Verification
关系图谱

Bounded Model Checking · 作者

A

Armin Biere