Deductive Proof of Industrial Smart Contracts Using Why3.
Zeinab NehaïFrançois BobotPublished in: FM Workshops (1) (2019)
Keyphrases
- proof planning
- industrial applications
- supply chain
- theorem prover
- industrial environment
- object oriented
- industrial process
- linear logic
- concept formation
- abductive inference
- technology transfer
- neural network
- explanation based learning
- industrial processes
- theorem proving
- database languages
- control system
- decision trees
- hypothesis formation
- information retrieval