The Value of Verification: Positive Experience of Industrial Proof.
Steve KingJonathan HammondRoderick ChapmanAndy PryorPublished in: World Congress on Formal Methods (1999)
Keyphrases
- fault diagnosis
- neural network
- industrial applications
- positive and negative
- signature verification
- theorem proving
- quality improvement
- user experience
- model checking
- evolutionary algorithm
- industrial environment
- formal proof
- theorem prover
- real time
- face verification
- learning curve
- similarity measure
- social networks
- technology transfer
- verification method
- functional verification