Philip Armstrong

Mr Philip Armstrong

Research Assistant

Leaving date: 8th July 2014

Themes:

• Automated Verification

Completed Projects:

• CSP Model Checking
• EUSTACE

Interests

Biography

After completing my MSc in Computation at the Computing Laboratory (now Department of Computer Science), I went to work for Formal Systems (Europe) Ltd. for a number of years. I've now returned to the department to work on the implementation of new concurrency research ideas, primarly within the FDR2 framework.

See also

• Academic FDR2 release

Selected Publications

View AllManage publications

• FDR3 — A Modern Refinement Checker for CSP

  Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe

  In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.

  Details about FDR3 — A Modern Refinement Checker for CSP | BibTeX data for FDR3 — A Modern Refinement Checker for CSP | Download Document.pdf of FDR3 — A Modern Refinement Checker for CSP | Download Samples.zip of FDR3 — A Modern Refinement Checker for CSP | DOI (10.1007/978-3-642-54862-8_13)

• Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)

  Shamal Faily‚ David Power‚ Philip Armstrong and Ivan Flechais

  In Trust and Trustworthy Computing‚ 6th International Conference‚ TRUST 2013. 2013.

  To Appear

  Details about Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract) | BibTeX data for Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)

Activities

• Cyber Security Oxford
• Concurrency