Verifying Array Manipulating Programs with Full-Program Induction

DOI10.1007/978-3-030-45190-5_2MaRDI QIDQ5039501

Divyesh Unadkat, Ashutosh Gupta, Supratik Chakraborty

Publication date: 13 October 2022

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Daikon
• z3
• VeriFast
• Aligators
• FunArray
• Houdini
• Booster