A bounded model checker for SPARK programs

DOI10.1007/978-3-319-11936-6_3MaRDI QIDQ3457776zbMATH OpenOpenAlexFDO

Authors Cláudio Belo Lourenço, Jorge Sousa Pinto, Maria João Frade

Publication date 17 December 2015

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/35223

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Building high integrity applications with SPARK
• Model Checking Software
• Bounded model checking for probabilistic programs
• scientific article; zbMATH DE number 1706226
• Efficient SAT-based bounded model checking for software verification

Cited in

(2)

• Building high integrity applications with SPARK
• scientific article; zbMATH DE number 1706226 (Why is no real title available?)

This page was built for publication: A bounded model checker for SPARK programs

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