Formal Verification of PLC Programs Using the B Method.

Haniel Barbosa David Déharbe

Published in: ABZ (2012)

Keyphrases

experimental evaluation
synthetic data
high precision
dynamic programming
formal verification
similarity measure
cost function
data sets
neural network
objective function
preprocessing
significant improvement
high accuracy
clustering method
control system
computational cost