Concurrent Program Verification with Invariant-Guided Underapproximation

DOI10.1007/978-3-319-68167-2_17zbMath1495.68140OpenAlexW2750685931MaRDI QIDQ5096088

Mandayam Srivas, Peter Schrammel, Sumanth Prabhu, Michael Tautschnig, Anand Yeolekar

Publication date: 12 August 2022

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

Full work available at URL: http://sro.sussex.ac.uk/69531/1/paper.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Concurrent Program Verification with Invariant-Guided Underapproximation