Combining Theorem proving with Static Analysis for Data Structure Consistency

conference paper

Zee, Karen

•

Lam, Patrick

•

2004

International Workshop on Software Verification and Validation

Name

ZeeETAL04CombiningTheoremStaticAnalysisDataStructureConsistency.pdf

Access type

openaccess

Size

231.33 KB

Format

Adobe PDF

Checksum (MD5)

83ae95c7c8cf1a44a594348dbb15a48b