Login / Signup

Identification of Effective Guidance Hints for Better Design Debugging by Formal Methods.

V. S. VineeshBinod KumarJay Adhaduk
Published in: VDAT (2019)
Keyphrases
  • formal methods
  • artificial intelligence
  • knowledge based systems
  • modeling language
  • case study
  • model checking
  • safety critical
  • user interface
  • software architecture
  • databases
  • multi agent
  • formal specification