Keyphrases
- linear logic
- specification language
- model checking
- theorem prover
- theorem proving
- formal specification
- machine learning
- concurrent systems
- proof theory
- expert systems
- ranked list
- written in natural language
- database
- substantially higher
- scoring methods
- operational semantics
- statistical significance
- finite state machines
- data structure
- high level
- genetic algorithm
- information retrieval
- databases
- real time