Automatic Translation of tock-CSP into Timed Automata.
Abdulrazaq AbbaAna CavalcantiJeremy JacobPublished in: CoRR (2020)
Keyphrases
- timed automata
- constraint satisfaction problems
- model checking
- reachability analysis
- theorem prover
- first order logic
- constraint satisfaction
- theorem proving
- decomposition methods
- constraint programming
- constraint propagation
- arc consistency
- tree decomposition
- real time systems
- tree decompositions
- constraint solving
- np hard
- solving constraint satisfaction problems
- inference rules
- planning graph
- software systems
- hypertree decomposition
- search algorithm