Login / Signup

Design and formal verification of DZMBE+.

Mahdi Soodkhah MohammadiAbbas Ghaemi Bafghi
Published in: ISC Int. J. Inf. Secur. (2013)
Keyphrases
  • formal verification
  • model checking
  • functional verification
  • user interface
  • state space
  • domain specific
  • knowledge acquisition
  • design process
  • design decisions
  • model checker
  • symbolic model checking