Scaling bounded model checking by transforming programs with arrays

DOI10.1007/978-3-319-63139-4_16zbMath1485.68067arXiv1606.06974OpenAlexW2963264443MaRDI QIDQ2409744

Advaita Datar, Uday P. Khedker, Anushri Jana, R. Venkatesh, Niyas C.

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1606.06974

zbMATH Keywords

verificationprogram transformationbounded model checkingarray

Mathematics Subject Classification ID

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

Related Items (1)

Verification by gambling on program slices

This page was built for publication: Scaling bounded model checking by transforming programs with arrays