An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting.
Haniel BarbosaDavid DéharbePublished in: SBMF (2012)
Keyphrases
- data sets
- formal verification
- neural network
- high accuracy
- cost function
- similarity measure
- preprocessing
- pairwise
- clustering method
- detection method
- high precision
- significant improvement
- reinforcement learning
- dynamic programming
- software engineering
- classification method
- model checking
- hardware and software
- artificial intelligence