Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL.
Christine RöcklPublished in: FBT (2000)
Keyphrases
- artificial intelligence
- theorem prover
- natural deduction
- inference rules
- theorem proving
- first order logic
- formal methods
- higher order logic
- cut elimination
- sequent calculus
- knowledge based systems
- information technology
- multiresolution
- digital libraries
- data structure
- knowledge base
- read write
- data mining
- neural network