The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems 论文

2008Science of Computer Programming引用 466
DOI
Formal Methods in VerificationEmbedded Systems Design TechniquesRadiation Effects in Electronics
Formal Methods in VerificationEmbedded Systems Design TechniquesRadiation Effects in Electronics
相关技术:Formal Methods in Verification
关系图谱

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems · 相关文章

暂无数据