Formal Methods in Conformance Testing: Status and Expectations.
Jean Philippe FavreauDieter HogrefeJan KroonPublished in: PSTV (1992)
Keyphrases
- formal methods
- development lifecycle
- formal analysis
- model checking
- safety critical
- protocol specification
- artificial intelligence
- knowledge based systems
- software engineering
- formal specification
- model checker
- process algebra
- provably correct
- temporal properties
- formal specification language
- machine learning
- reactive systems
- modeling language
- temporal logic
- life cycle
- test cases
- knowledge acquisition
- e learning