Sign in

Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial).

Parosh Aziz AbdullaMohamed Faouzi AtigBengt JonssonTuan Phong Ngo
Published in: NETYS (2019)
Keyphrases
  • partial order reduction
  • model checking
  • real world
  • formal semantics
  • logic programming
  • dynamically changing
  • real time
  • evolutionary algorithm
  • object oriented
  • logic programs
  • conceptual model
  • operational semantics