The Development and Deployment of Formal Methods in the UK.

Cliff B. Jones Martyn Thomas

Published in: Formal Aspects Comput. (2022)

Keyphrases

formal methods
safety critical
knowledge based systems
software engineering
development lifecycle
model checking
model checker
databases
data mining
development process
formal specification
expert systems
fault tolerant