Keyphrases
- transition systems
- provably correct
- formal language
- description logics
- process algebra
- formal methods
- machine learning
- model checking
- formal specification
- knowledge representation and reasoning
- concurrent systems
- temporal ordering
- formal languages
- automated deduction
- refinement process
- asynchronous circuits
- relational calculus
- database
- case study
- e learning
- information systems
- artificial intelligence
- neural network