Collaborative Verification and Testing with Explicit Assumptions

DOI10.1007/978-3-642-32759-9_13zbMath1372.68167OpenAlexW127773936MaRDI QIDQ4647837

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

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)

Related Items (4)

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 ⋮ Information Exchange Between Over- and Underapproximating Software Analyses

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