Philip Armstrong : Publications

Conference papers

• [1]

  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)

• [2]

  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)