Philip J. Armstrong

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Constraint Programming

Constraint Satisfaction Problems

Decomposition Method

Distributed Memory

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3: a parallel refinement checker for CSP. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe
FDR3 - A Modern Refinement Checker for CSP. TACAS (2014)
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Recent Developments in FDR. CAV (2012)
A. W. Roscoe, Philip J. Armstrong, Pragyesh
Local Search in Model Checking. ATVA (2009)