Statistics
Publications
3
Citations
44
H-Index
3
Active since
2006
Affiliations
Nick Tudor is an author at University of York specializing in formal verification, software engineering, and formal methods.
Publications per year
2006–2020
3
3
Proof Vs Testing in the Context of Safety Standards
Andy Galloway, Richard F. Paige, Nick Tudor et al. · 2006 · 16 citations
CLAWZ: Cost-Effective Formal Verification for Control Systems
Mark Adams, Phil Clayton, Nick Tudor · 2006 · 16 citations
Formal Model-Based Assurance Cases in Isabelle/SACM
Simon Foster, Yakoub Nemouchi, C. O'Halloran et al. · 2020 · 12 citations
1–3 of 3