#Program-Verification

1 post in tag “Program-Verification”.

• 

  Separation Logic: The Frame Rule, Separating Conjunction, and Concurrent Verification

  2022-01-01

  An exploration of separation logic—O'Hearn and Reynolds's revolutionary extension of Hoare logic for local reasoning about mutable state, the frame rule, and concurrent separation logic.