Mechanized Verification of Speed-independence.

Michael Kishinevsky Jørgen Staunstrup

Published in: TPCD (1994)

Keyphrases

model checking
high speed
artificial intelligence
knowledge base
decision trees
conditional independence
formal verification
concurrent systems