Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.
Eduard CernyFen JinPublished in: EUROMICRO (1998)
Keyphrases
- constraint logic programming
- real time
- asynchronous circuits
- constraint solving
- control system
- logic programming language
- answer set programming
- constraint programming
- constraint propagation
- automated verification
- logic programming
- formal verification
- reinforcement learning
- proof theoretic
- temporal reasoning
- global constraints
- knowledge representation
- high level
- database
- machine learning