Login / Signup
Parameterized Model Checking on the TSO Weak Memory Model.
Sylvain Conchon
David Declerck
Fatiha 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