Login / Signup

Formal Verification Techniques: A Comparative Analysis for Critical System Design.

Rahul Karmakar
Published in: ISDA (2021)
Keyphrases
  • formal verification
  • model checking
  • neural network
  • information systems
  • design process
  • database
  • case study
  • knowledge based systems
  • computer aided
  • symbolic model checking
  • functional verification