Login / Signup

Simulation modeling of a large-scale formal verification process.

He ZhangGerwin KleinMark StaplesJune AndronickLiming ZhuRafal Kolanski
Published in: ICSSP (2012)
Keyphrases
  • formal verification
  • model checking
  • real world
  • mathematical model
  • simulation model
  • data sets
  • multi agent systems
  • rough sets
  • open source
  • small scale
  • simulation environment
  • discrete event simulation