An executable specification, analyzer and verifier for RMO (relaxed memory order)

1995 ◽  
Author(s):  
Seungjoon Park ◽  
David L. Dill
Keyword(s):  
Executable Specification ◽  
Relaxed Memory

An executable specification and verifier for relaxed memory order

1999 ◽  
Vol 48 (2) ◽  
pp. 227-235 ◽  
Author(s):  
Seungjoon Park ◽  
D.L. Dill
Keyword(s):  
Executable Specification ◽  
Relaxed Memory

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

scholarly journals Pomsets with preconditions: a simple model of relaxed memory

2020 ◽  
Vol 4 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Radha Jagadeesan ◽  
Alan Jeffrey ◽  
James Riely
Keyword(s):  
Simple Model ◽  
Relaxed Memory

scholarly journals An executable specification of a formal argumentation protocol

2007 ◽  
Vol 171 (10-15) ◽  
pp. 776-804 ◽  
Author(s):  
Alexander Artikis ◽  
Marek Sergot ◽  
Jeremy Pitt
Keyword(s):  
Executable Specification

Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware

2021 ◽  
Author(s):  
Runzhou Tao ◽  
Jianan Yao ◽  
Xupeng Li ◽  
Shih-Wei Li ◽  
Jason Nieh ◽  
...  
Keyword(s):  
Formal Verification ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document