Fuzzy concepts and formal methods: some illustrative examples.
Chris MatthewsPaul A. SwatmanPublished in: APSEC (2000)
Keyphrases
- formal methods
- formal analysis
- formal specification
- knowledge based systems
- fuzzy sets
- model checking
- safety critical
- software engineering
- similarity relations
- fuzzy logic
- provably correct
- temporal properties
- model checker
- artificial intelligence
- fuzzy ontology
- security properties
- fuzzy numbers
- membership functions
- reactive systems
- process algebra
- temporal logic
- fuzzy rules
- open source
- expert systems
- machine learning
- development lifecycle
- formal specification language