Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions.
Tatjana KapusPublished in: Informatica (2015)
Keyphrases
- input output
- temporal logic
- model checking
- automata theoretic
- finite state machines
- finite state
- temporally extended
- internal state
- internal states
- formal specification language
- state transition
- verification method
- modal logic
- concurrent systems
- satisfiability problem
- formal verification
- noise cancellation
- formal specification
- linear temporal logic
- computation tree logic
- fuzzy model
- data envelopment analysis
- reward function
- situation calculus
- bounded model checking
- mazurkiewicz traces
- transition systems
- reactive systems
- ibm zenterprise
- epistemic logic
- reasoning about actions
- fuzzy controller