Non-monotonic refinement of control abstraction for concurrent programs

DOI10.1007/978-3-642-15643-4_15MaRDI QIDQ4931292zbMATH OpenOpenAlexFDO

Authors Ashutosh Gupta, Andrey Rybalchenko, C. 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

Mathematics Subject Classification ID

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

Recommendations

• Verification of concurrent programs using trace abstraction refinement
• Refinement for structured concurrent programs
• Predicate abstraction and refinement for verifying multi-threaded programs
• Precise Thread-Modular Verification
• Lazy constrained monotonic abstraction

Cited in

(7)

• Lazy constrained monotonic abstraction
• Monotonic abstraction for programs with multiply-linked structures
• Lost in abstraction: monotonicity in multi-threaded programs
• Verification of concurrent programs using trace abstraction refinement
• Predicate abstraction and refinement for verifying multi-threaded programs
• CONTROLLABILITY AND COOPERATIVENESS ANALYSIS FOR AUTOMATIC ABSTRACTION REFINEMENT
• Lost in abstraction: monotonicity in multi-threaded programs

Describes a project that uses

Uses Software

• ARMC
• Dagger

This page was built for publication: Non-monotonic refinement of control abstraction for concurrent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931292)