Unbounded Separation Logic

MaRDI QIDQ7361327FDO

Authors Thibault Dardinier

Publication date 5 September 2022

Cites work

• Unnamed Publication
• Logical reasoning for disjoint permissions
• Permission accounting in separation logic
• Reasoning over permissions regions in concurrent separation logic
• Sound Automation of Magic Wands
• Viper: a verification infrastructure for permission-based reasoning

This page was built for software: Unbounded Separation Logic