Login / Signup

Digital system robustness via design constraints: The lesson of formal methods.

Jackson R. MayoRobert C. ArmstrongGeoffrey C. Hulette
Published in: SysCon (2015)
Keyphrases
  • formal methods
  • circuit design
  • safety critical
  • artificial intelligence
  • software engineering
  • knowledge based systems
  • formal analysis
  • formal specification
  • database
  • databases
  • case study
  • design process
  • model checking