Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming.
Eduard CernyFen JinPublished in: ICCD (1999)
Keyphrases
- constraint logic programming
- real time
- asynchronous circuits
- control system
- constraint solving
- logic programming language
- answer set programming
- model checking
- automated verification
- logic programming
- formal verification
- constraint programming
- machine learning
- concurrent systems
- programming paradigms
- temporal reasoning
- bounded model checking
- finite state machines
- qualitative and quantitative
- dynamic programming
- reinforcement learning
- knowledge base