Fault Localization of Timed Automata Using Maximum Satisfiability.
Shin NakajimaSi-Mohamed LamraouiPublished in: SOFL+MSVL (2015)
Keyphrases
- fault localization
- timed automata
- maximum satisfiability
- boolean satisfiability
- model checking
- max sat
- model based diagnosis
- combinatorial problems
- data abstraction
- software testing
- theorem prover
- sat problem
- fault detection
- temporal logic
- formal specification
- first order logic
- theorem proving
- branch and bound algorithm
- sat solvers
- orders of magnitude
- constraint programming
- real time systems
- special case
- constraint satisfaction
- search algorithm
- probabilistic planning
- upper bound
- reinforcement learning
- test cases
- symmetry breaking
- integer linear programming
- metaheuristic
- tabu search
- dynamical systems
- case study
- traveling salesman problem