Collaborated with:
P.A.Abdulla M.F.Atig
Talks about:
parameter (1) complet (1) pspace (1) verif (1) under (1) tso (1)
Person: Rojin Rezvan
DBLP: Rezvan:Rojin
Contributed to:
Wrote 1 papers:
- POPL-2020-AbdullaAR #verification
- Parameterized verification under TSO is PSPACE-complete (PAA, MFA, RR), p. 29.