Login / Signup

Deciding reachability under persistent x86-TSO.

Parosh Aziz AbdullaMohamed Faouzi AtigAhmed BouajjaniK. Narayan KumarPrakash Saivasan
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • state space
  • transitive closure
  • object oriented
  • decision making
  • data management
  • first order logic