Formal Methods to Assist Conformance Testing. A Case Study.
Clazien D. WezemanS. BatleyJ. LynchPublished in: FORTE (1990)
Keyphrases
- formal methods
- development lifecycle
- model checking
- formal analysis
- model checker
- knowledge based systems
- safety critical
- formal specification
- protocol specification
- software engineering
- case study
- artificial intelligence
- software testing
- provably correct
- temporal properties
- test set
- data mining
- modeling language
- test cases
- real world
- formal verification
- building blocks
- process algebra
- source code
- formal specification language