Login / Signup

Structuring Systems for Formal Verification.

Richard B. NeelyJames 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