Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving.
Doron DrusinskyPublished in: Innov. Syst. Softw. Eng. (2015)
Keyphrases
- early detection
- constraint solving
- formal specification
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- breast cancer
- object oriented design
- constraint satisfaction
- temporal constraints
- model checking
- specification languages
- constraint solver
- lung cancer
- constraint programming
- reverse engineering
- temporal information
- skin cancer
- automatic diagnosis
- relational databases
- formal methods
- temporal reasoning
- software components
- protocol specification
- tree search
- loss function
- linear programming
- search space
- artificial intelligence