Keyphrases
- higher order logic
- higher order
- theorem prover
- conditional logic
- logical framework
- low cost
- hardware and software
- real time
- hardware implementation
- computer systems
- model checking
- floating point arithmetic
- embedded systems
- data representation
- default reasoning
- floating point
- inference rules
- general purpose
- pairwise
- expert systems
- high level