Login / Signup

Model Checking of C++ Programs Under the x86-TSO Memory Model.

Vladimír StillJiri Barnat
Published in: ICFEM (2018)
Keyphrases
  • model checking
  • finite state machines
  • model checker
  • artificial intelligence
  • temporal logic
  • verification method
  • description language
  • specification language
  • process algebra