Verifying asynchronous event-driven programs using partial abstract transformers

DOI10.1007/978-3-030-25543-5_22arXiv1905.09996OpenAlexW2960694955MaRDI QIDQ6194956

Peizun Liu, Akash Lal, Thomas Wahl

Publication date: 16 February 2024

Published in: Computer Aided Verification (Search for Journal in Brave)

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

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Verifying asynchronous event-driven programs using partial abstract transformers