Recent developments in FDR (Computer Aided Verification, 2012)

(untitled) - Armstrong, P; Goldsmith, M; Lowe, G; Ouaknine, J; Palikareva, H; Roscoe, A; Worrell, J