Formal Verification of Stabilizing Systems.

Published in: FTRTFT (1998)

Keyphrases

formal verification
automated verification
model checking
computer systems
building blocks
real time
neural network
management system
distributed systems
learning systems
expert systems