Parameterized verification under TSO is PSPACE-complete.

Parosh Aziz Abdulla Mohamed Faouzi Atig Rojin Rezvan

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

pspace complete
model checking
np complete
temporal logic
exptime complete
strips planning
finite state
satisfiability problem
decision problems
np hard
context sensitive