Semantics and verification of action diagrams with linear timing.
Karim KhordocEduard CernyPublished in: ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
- asynchronous circuits
- action descriptions
- action language
- semantic information
- formal semantics
- closed form
- logic programming
- model checking
- linear systems
- graphical representation
- speech acts
- formal verification
- operational semantics
- multi agent systems
- reinforcement learning
- action sequences
- epistemic logic
- graphical representations
- software engineering