Constraint Solving for Sequences in Software Validation and Verification.
Nikolai KosmatovPublished in: INAP (2005)
Keyphrases
- constraint solving
- constraint propagation
- constraint satisfaction problems
- constraint logic programming
- constraint solver
- constraint satisfaction
- constraint programming
- software systems
- software development
- model checking
- hidden markov models
- computer systems
- combinatorial problems
- formal methods
- user interface
- constraint solvers
- objective function
- formal verification
- software architecture
- special case