Patterns in property specifications for finite-state verification 论文

1999引用 1440
DOI
Formal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging Techniques
相关技术:Formal Methods in Verification
关系图谱

Patterns in property specifications for finite-state verification · 作者

J

James C. Corbett

G

George S. Avrunin

M

Matthew B. Dwyer