Functional Verification of Hard Real-Time Programs.

Peter Kearney John Staples Abdu Abbas

Published in: IFIP Congress (1) (1992)

Keyphrases

functional verification
real time
computer programs
database systems
low latency
formal verification