Reducing crash recoverability to reachability

DOI10.1145/2837614.2837648zbMath1347.68229OpenAlexW2291146106MaRDI QIDQ2828248

Eric Koskinen, Junfeng Yang

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2837614.2837648

zbMATH Keywords

formal verificationprogram analysiscrash recovery

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• NuSMV
• SMTInterpol
• CPAchecker
• MathSAT5
• PostgreSQL
• Eleven82
• SQCK
• EXPLODE

This page was built for publication: Reducing crash recoverability to reachability