A Gentle Introduction to System Verification.

Published in: SoMeT (2005)

Keyphrases

gentle introduction
model checking
learning red hat linux
distributed systems
signature verification
functional programming
database design