Dynamic partial-order reduction for model checking software 论文

2005引用 638
DOIPDF
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSynthetic Organic Chemistry Methods
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSynthetic Organic Chemistry Methods
相关技术:Formal Methods in VerificationSynthetic Organic Chemistry Methods
关系图谱

Dynamic partial-order reduction for model checking software · 作者

C

Cormac Flanagan

P

Patrice Godefroid