A static analyzer for large safety-critical software 论文

2003引用 309
DOIArXivPDF
Software Reliability and Analysis ResearchSoftware Testing and Debugging TechniquesFormal Methods in Verification
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

A static analyzer for large safety-critical software · 作者

X

Xavier Rival

D

David Monniaux

A

Antoine Miné

L

Laurent Mauborgne

J

Jérôme Ferêt

R

Radhia Cousot

帕

帕特里克·库索

B

Bruno Blanchet