Login / Signup

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison.

Igor BuzhinskyAntti PakonenValeriy Vyatkin
Published in: IECON (2017)
Keyphrases
  • symbolic model checking
  • safety analysis
  • data structure
  • computational complexity
  • expert systems
  • orders of magnitude
  • formal verification