Verifying floating-point programs with constraint programming and abstract interpretation techniques.
Olivier PonsiniClaude MichelMichel RueherPublished in: Autom. Softw. Eng. (2016)
Keyphrases
- constraint programming
- floating point
- abstract interpretation
- model checking
- termination analysis
- static analysis
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- search strategies
- fixed point
- active rules
- instruction set
- reasoning engine
- dynamic analysis
- column generation
- finite domain
- active databases
- multi dimensional
- software engineering
- relational databases