Concepedia

P.F. Farrow

PF

Statistics

Publications

1

Citations

31

H-Index

1

Active since

1988

Affiliations

Rolls-Royce (United Kingdom)(Current)

P.F. Farrow is an author at Rolls-Royce (United Kingdom) specializing in formal methods, formal verification, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsSafety ScienceComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationReliability Engineering

Publications per year

1988–1988

1

Publications

1

The Formal Verification of Safety-critical Assembly Code

Ian O'Neill, D.L. Clutterbuck, P.F. Farrow et al. · IFAC Proceedings Volumes · 1988 · 31 citations

Reliability Engineering, Engineering, Software System Safety +9

1–1 of 1