Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools.
Michael LeuschelPublished in: VPT@CAV (2014)
Keyphrases
- formal methods
- constraint solving
- higher order
- data types
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- formal analysis
- formal specification
- model checking
- artificial intelligence
- constraint solver
- knowledge based systems
- constraint satisfaction
- software engineering
- database systems
- databases
- safety critical
- constraint programming
- data structure
- database
- modeling language
- data model
- data analysis
- development lifecycle
- search space
- expert systems
- data mining