Sign in

Large-scale formal verification in practice: A process perspective.

June AndronickD. Ross JefferyGerwin KleinRafal KolanskiMark StaplesHe ZhangLiming Zhu
Published in: ICSE (2012)
Keyphrases
  • formal verification
  • model checking
  • neural network
  • artificial intelligence
  • real life
  • knowledge based systems
  • process model
  • small scale
  • model checker
  • automated verification