Automated Deductive Verification for Ladder Programming.
Denis CousineauDavid MentréHiroaki InouePublished in: F-IDE@FM (2019)
Keyphrases
- programming language
- semi automated
- object oriented
- model checking
- neural network
- machine learning
- automated analysis
- programming environment
- database
- series parallel
- formal verification
- signature verification
- computer aided
- abductive inference
- database languages
- fingerprint verification
- object oriented programming
- case study
- website
- learning algorithm
- databases
- data sets
- real time