On the Semantics of Scenario-Based Specification Based on Timed Computational Tree Logic.
Wenrui LiPengcheng ZhangPublished in: Australian Software Engineering Conference (2013)
Keyphrases
- formal language
- operational semantics
- logic programming
- active rules
- proof theory
- formal semantics
- specification languages
- propositional dynamic logic
- sound and complete with respect
- specification language
- asynchronous circuits
- tree structure
- epistemic logic
- logical framework
- sound and complete axiomatization
- nonmonotonic logics
- dynamic logic
- classical logic
- petri net
- ctl model update
- transition systems
- conditional logic
- model theoretic
- computational properties
- logic programs
- conceptual model
- modal operators
- state machine
- fixed point semantics
- modal logic
- linear temporal logic
- formal specification
- colored petri nets
- logical rules
- semantic information
- rewrite systems
- alternating time temporal logic
- proof theoretic
- abstract argumentation frameworks
- algebraic structure
- predicate calculus
- control flow
- temporal logic