Philip J. Armstrong

According to our database, Philip J. Armstrong authored at least 5 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

FDR3: a parallel refinement checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Int. J. Softw. Tools Technol. Transf., 2016

2014

FDR3 - A Modern Refinement Checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Model checking Timed CSP.

Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2012

Recent Developments in FDR.

Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2009

Local Search in Model Checking.

A. W. Roscoe, Philip J. Armstrong, Pragyesh

Proceedings of the Automated Technology for Verification and Analysis, 2009