A Bounded Model Checker for SPARK Programs

DOI10.1007/978-3-319-11936-6_3zbMath1448.68307OpenAlexW1515588526MaRDI QIDQ3457776

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)

This page was built for publication: A Bounded Model Checker for SPARK Programs