Login / Signup
The Restricted Access Processor An Example of Formal Verification.
Norman Proctor
Published in:
IEEE Symposium on Security and Privacy (1985)
Keyphrases
</>
formal verification
functional verification
model checking
bounded model checking
symbolic model checking
access control
automated verification
model checker
high speed
parallel processing
digital libraries
temporal logic
random access
program slicing