Applications of extended static checking

DOI10.1007/3-540-47764-0_11MaRDI QIDQ4778702zbMATH OpenFDO

Authors K. Rustan M. Leino

Publication date 19 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2126/21260185

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• Extended static checking
• Correct programs without proof? On checker-based program verification
• Mathematics of Program Construction
• Faster and more complete extended static checking for the Java modeling language
• Static analysis, abstract interpretation and verification in (constraint logic) programming

Cited in

(11)

• Annotation inference for modular checkers
• A method of static program correctness checking
• Faster and more complete extended static checking for the Java modeling language
• Construction of verified compiler front-ends with program-checking
• Extended static checking
• Extending C for checking shape safety
• Static checking of variable handling in Dijkstra's Guarded Commands language
• Collaborative verification and testing with explicit assumptions
• Verification conditions for source-level imperative programs
• Extended Static Checking by Calculation Using the Pointfree Transform
• Mathematics of Program Construction

This page was built for publication: Applications of extended static checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4778702)