Login / Signup

Verifying Reachability for TSO Programs with Dynamic Thread Creation.

Parosh Aziz AbdullaMohamed Faouzi AtigAhmed BouajjaniK. Narayan KumarPrakash Saivasan
Published in: NETYS (2022)
Keyphrases
  • website
  • information retrieval
  • information systems
  • real time
  • digital libraries
  • evolutionary algorithm
  • programming language
  • model checking
  • transitive closure
  • programming environment