The development and deployment of formal methods in the UK.

Cliff B. Jones Martyn Thomas

Published in: CoRR (2020)

Keyphrases

formal methods
safety critical
knowledge based systems
development lifecycle
software engineering
formal analysis
artificial intelligence
information systems
case study
process algebra
model checking
formal specification
development process
model checker
black box
database
data model
machine learning