Non-monotonic Refinement of Control Abstraction for Concurrent Programs
From MaRDI portal
Publication:4931292
DOI10.1007/978-3-642-15643-4_15zbMath1305.68057OpenAlexW1569404555MaRDI QIDQ4931292
Ashutosh Gupta, Andrey Rybalchenko, Corneliu Popeea
Publication date: 4 October 2010
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_15
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software