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 Sufficient Conditions for Robustness of RDMA Programs. Sufficient Conditions for Robustness of RDMA Programs. Simplifying Imperfect Recall Games. Simplifying Imperfect Recall Games. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
by