Login / Signup
Structuring Systems for Formal Verification.
Richard B. Neely
James W. Freeman
Published in:
IEEE Symposium on Security and Privacy (1985)
Keyphrases
</>
formal verification
automated verification
computer systems
complex systems
intelligent systems
real time
data sets
learning systems
neural network
model checking
information systems
open source