Constraint reusing and \(k\)-induction for three-valued bounded model checking

DOI10.1007/978-3-030-03044-5_9zbMath1519.68142OpenAlexW2895822369MaRDI QIDQ6165889

Nils Timm, Stefan Gruner, Matthias Harvey

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-03044-5_9

Mathematics Subject Classification ID

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

This page was built for publication: Constraint reusing and \(k\)-induction for three-valued bounded model checking