Reasoning about concurrent loops and recursion with rely-guarantee rules

Ian J. Hayes, Larissa Meinicke, Cliff Jones

Other talks in FMICS Session 2:

• Consistency proofs for axiomatic extensions: translating VerCors's Axiomatic Data Types into Isabelle

 Overview  Program   FMICS Program