PrideMM: A Solver for Relaxed Memory Models. Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, and Mikoláš Janota. arXiv: Logic in Computer Science. 2019 shelley2024-07-26T09:03:56+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Omega-Regular Reward Machines. Omega-Regular Reward Machines. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. Omega-Regular Decision Processes. Omega-Regular Decision Processes. Mining minimal separating DFAs from labelled samples. Mining minimal separating DFAs from labelled samples.
by