Collaborative verification and testing with explicit assumptions

DOI10.1007/978-3-642-32759-9_13MaRDI QIDQ4647837zbMATH OpenOpenAlexFDO

Authors Maria Christakis, Peter Müller, Valentin Wüstholz

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/58948/1/FM-2012.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1956475
• scientific article; zbMATH DE number 1390248
• scientific article; zbMATH DE number 1832224
• Gradual program verification
• A framework for combining analysis and verification

Cited in

(6)

• How testing helps to diagnose proof failures
• Reusing predicate precision in value analysis
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
• scientific article; zbMATH DE number 1956475 (Why is no real title available?)
• Information Exchange Between Over- and Underapproximating Software Analyses
• Parallel program analysis via range splitting

Describes a project that uses

Uses Software

• CUTE
• Dafny
• BLAST
• Daikon
• Caduceus
• ESC/Java
• DART
• Pex
• Java PathFinder
• JCrasher
• YOGI

This page was built for publication: Collaborative verification and testing with explicit assumptions

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