Zobrazeno 1 - 10
of 198
pro vyhledávání: '"Schellhorn, Gerhard"'
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recently, Attiya and Enea studied a notion of strong observational refinemen
Externí odkaz:
http://arxiv.org/abs/2107.14509
Publikováno v:
In Science of Computer Programming April 2025 241
Autor:
Bila, Eleni, Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard, Wehrheim, Heike
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 3 (July 28, 2022) lmcs:6941
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support fo
Externí odkaz:
http://arxiv.org/abs/2011.15013
Autor:
Bila, Eleni, Doherty, Simon, Dongol, Brijesh, Derrick, John, Schellhorn, Gerhard, Wehrheim, Heike
Non-volatile memory (NVM), aka persistent memory, is a new paradigm for memory that preserves its contents even after power loss. The expected ubiquity of NVM has stimulated interest in the design of novel concepts ensuring correctness of concurrent
Externí odkaz:
http://arxiv.org/abs/2004.08200
Autor:
Schellhorn, Gerhard.
Ulm, Univ., Diss., 1999.
http://vts.uni-ulm.de/query/longview.meta.asp?documentid=346.
http://vts.uni-ulm.de/query/longview.meta.asp?documentid=346.
Externí odkaz:
http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB8412706
Publikováno v:
EPTCS 102, 2012, pp. 33-45
This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into a common component that is inspired by the Linux Virtual Filesystem S
Externí odkaz:
http://arxiv.org/abs/1211.6187
This paper presents a proof technique for proving refinements for general state-based models of concurrent systems that reduces proving forward simulations to thread-local, step-local proof obligations. Instances of this proof technique should be app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::672d5fed6562cbaaa6b89881b2ab627d
https://opus.bibliothek.uni-augsburg.de/opus4/files/104664/main.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/104664/main.pdf
Autor:
Bila, Eleni, Derrick, John, Doherty, Simon, Dongol, Brijesh, Schellhorn, Gerhard, Wehrheim, Heike
Publikováno v:
Logical Methods in Computer Science. 18
Non-volatile memory (NVM), also known as persistent memory, is an emerging paradigm for memory that preserves its contents even after power loss. NVM is widely expected to become ubiquitous, and hardware architectures are already providing support fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6963ea707e0e1379a042c294307d40f0
https://doi.org/10.46298/lmcs-18(3:7)2022
https://doi.org/10.46298/lmcs-18(3:7)2022
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recently, Attiya and Enea studied a notion of strong observational refinemen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::caf8f79ba0b767927b69353c7e1672ef