Sign in

Application of formal verification and falsification to large-scale chemical plant automation systems.

Blake C. RawlingsJohn M. WassickB. Erik Ydstie
Published in: Comput. Chem. Eng. (2018)
Keyphrases
  • formal verification
  • model checking
  • real world
  • control system
  • neural network
  • genetic algorithm
  • case study
  • real life
  • model checker
  • web services
  • programming language