Login / Signup
Overcoming Memory Weakness with Unified Fairness - Systematic Verification of Liveness in Weak Memory Models.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Adwait Godbole
Shankaranarayanan Krishna
Mihir Vahanwala
Published in:
CAV (1) (2023)
Keyphrases
</>
memory requirements
limited memory
memory usage
probabilistic model
main memory
game theory
memory size
memory space
resource allocation
real time
model checking
model selection
case based reasoning
computational power
image segmentation
databases
formal verification
memory management
database