Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL.

Sofiène Tahar Ramayya Kumar

Published in: TPHOLs (1994)

Keyphrases

key issues
application specific
conflict resolution
theorem prover
cooperative
general purpose
model checking
higher order logic
resolving conflicts
real time
data sets
similarity measure
security issues
natural deduction