Login / Signup

Parameterized Model Checking on the TSO Weak Memory Model.

Sylvain ConchonDavid DeclerckFatiha Zaïdi
Published in: J. Autom. Reason. (2020)
Keyphrases
  • model checking
  • temporal properties
  • artificial intelligence
  • finite state machines
  • verification method
  • temporal logic
  • multi agent systems
  • np complete
  • finite state
  • pspace complete
  • automated verification