Login / Signup

Transformation of non-standard nuclear I&C logic drawings to formal verification models.

Antti PakonenPrasun BiswasNikolaos Papakonstantinou
Published in: IECON (2020)
Keyphrases
  • formal verification
  • probabilistic model
  • model checking
  • statistical models
  • symbolic model checking
  • prior knowledge
  • complex systems
  • computational models
  • transformation models
  • automated verification