The restricted access processor: an example of formal verification.

Published in: ACM SIGSOFT Softw. Eng. Notes (1985)

Keyphrases

formal verification
functional verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
access control
high speed
artificial intelligence
parallel processing
program slicing
orders of magnitude
formal specification
random access