Statistics
Publications
3
Citations
61
H-Index
3
Active since
2006
Affiliations
Phil Clayton is an author at Qinetiq (United Kingdom) specializing in computer engineering, verification, and formal verification.
Publications per year
2006–2011
3
3
From control law diagrams to Ada via<i>Circus</i>
Ana Cavalcanti, Phil Clayton, C. O'Halloran · Formal Aspects of Computing · 2011 · 31 citations · Full text
CLAWZ: Cost-Effective Formal Verification for Control Systems
Mark Adams, Phil Clayton, Nick Tudor · 2006 · 16 citations
Verification of control systems using Circus
Ana Cavalcanti, Phil Clayton · 2006 · 14 citations
1–3 of 3