Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming.
Miel SharfBart BesselinkKarl Henrik JohanssonPublished in: CoRR (2021)
Keyphrases
- linear programming
- linear program
- quadratic programming
- optimal solution
- primal dual
- constraint propagation
- dynamic programming
- integer programming
- feasible solution
- objective function
- model checking
- simplex algorithm
- nonlinear programming
- column generation
- supply chain
- refinement process
- np hard
- data structure
- refinement step
- moral hazard
- neural network
- optimization problems
- search algorithm
- information systems
- machine learning