Useful Specification-Based Logic Coverage criteria.
Zhongsheng QianPublished in: Int. J. Softw. Eng. Knowl. Eng. (2013)
Keyphrases
- asynchronous circuits
- formal language
- transition systems
- state machine
- logic programming
- modal logic
- operational semantics
- linear temporal logic
- evaluation criteria
- classical logic
- formal specification
- active rules
- multi valued
- epistemic logic
- selection criteria
- multiple criteria
- specification languages
- sound and complete axiomatization
- databases
- computational properties
- user defined
- model checking
- high level