Login / Signup

Study on the Barriers to the Industrial Adoption of Formal Methods.

Jennifer A. DavisMatthew A. ClarkDarren D. CoferAaron FifarekJacob HinchmanJonathan A. HoffmanBrian W. HulbertSteven P. MillerLucas G. Wagner
Published in: FMICS (2013)
Keyphrases
  • formal methods
  • formal analysis
  • machine learning
  • formal specification
  • artificial intelligence
  • case study
  • databases
  • xml documents
  • data model
  • model checking
  • embedded systems