Quality, cleanroom and formal methods.

Zarrin Langari Anne Banks Pidduck

Published in: ACM SIGSOFT Softw. Eng. Notes (2005)

Keyphrases

formal methods
software engineering
knowledge based systems
formal analysis
safety critical
formal specification
model checking
model checker
artificial intelligence
provably correct
high quality
process algebra
data quality
temporal properties