Keyphrases
- formal specification
- formal methods
- formal language
- specification languages
- reactive systems
- operational semantics
- specification language
- requirements specification
- formal languages
- software engineering
- model checking
- formal model
- artificial intelligence
- formal analysis
- genetic algorithm
- temporal ordering
- formal models
- data structure
- knowledge base
- decision trees
- knowledge representation
- hidden markov models
- data model