Login / Signup

A Comprehensive Investigation of Formal System Verification Tools and Approaches.

Nazish YousafMuhammad Waseem AnwarFarooque AzamWasi Haider Butt
Published in: IntelliSys (2) (2018)
Keyphrases
  • formal methods
  • real world
  • software tools
  • image processing
  • decision support
  • building blocks
  • formal model
  • strengths and weaknesses
  • databases
  • decision making
  • similarity measure
  • end users
  • visual languages