research
∙
07/30/2021
On Strong Observational Refinement and Forward Simulation
Hyperproperties are correctness conditions for labelled transition syste...
share
research
∙
11/30/2020
Modularising Verification Of Durable Opacity
Non-volatile memory (NVM), also known as persistent memory, is an emergi...
research
∙
04/17/2020
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for ...
research
∙
11/27/2012