Verification of Java programs with interacting analysis plugins

MaRDI QIDQ2863859zbMATH OpenFDO

Authors Nathaniel Charlton

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052540?np=y

zbMATH Keywords

abstractionopen productsoftware verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program verification with interacting analysis plugins
• A framework for combining analysis and verification
• Automatic verification of Java programs with dynamic frames
• Computer Aided Verification
• Verifying safety properties of concurrent Java programs using 3-valued logic

Cited in

(9)

• Program verification with interacting analysis plugins
• Rule-based programming in Java for protocol verification
• ProMoVer: modular verification of temporal safety properties
• Falsifying safety properties through games on over-approximating models
• A framework for combining analysis and verification
• Computer Aided Verification
• Verification of Java Programs with Generics
• scientific article; zbMATH DE number 5499373 (Why is no real title available?)
• Automatic verification of Java programs with dynamic frames

This page was built for publication: Verification of Java programs with interacting analysis plugins

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