SDVS: a system for verifying microcode correctness.

Leo Marcus Stephen D. Crocker Jaisook Landauer

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

Keyphrases

model checking
verification method
database
real time
databases
case study
relational databases
knowledge discovery