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/22/2018
Verifying C11 Programs Operationally
This paper develops an operational semantics for a release-acquire fragm...
research
∙
10/20/2018
Proceedings 18th Refinement Workshop
Refinement is one of the cornerstones of a formal approach to software e...
research
∙
02/06/2018