Hyperproperties are correctness conditions for labelled transition syste...
Non-volatile memory (NVM), also known as persistent memory, is an emergi...
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for
...
This work presents a formal model that is part of our effort to construc...