Reasoning About Concurrent Loops and Recursion with Rely-Guarantee Rules

Lecture notes in computer science 2026 Open access

Read full text

Authors: Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones

DOI: 10.1007/978-3-032-36849-2_4

Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Reasoning and Knowledge