P
P. K. D. Froome
Publications - 1
Citations - 52
P. K. D. Froome is an academic researcher. The author has contributed to research in topics: Formal specification & Software quality. The author has an hindex of 1, co-authored 1 publications receiving 52 citations.
Papers
More filters
Journal ArticleDOI
The application of formal methods to the assessment of high integrity software
Robin Bloomfield,P. K. D. Froome +1 more
TL;DR: The Vienna development method (VDM), a formal specification and development methodology, was used during the analysis phase of the assessment of a prototype nuclear reactor protection system and was translated into the logic language Prolog to animate the specification.