Testing by Executing Logic Specifications.
Miguel FelderPierluigi San PietroPublished in: NATO ASI RTC (1992)
Keyphrases
- delay insensitive
- asynchronous circuits
- bounded model checking
- formal verification
- operational semantics
- model checker
- high level
- logic programming
- formal language
- predicate logic
- multi valued
- automated reasoning
- concurrent systems
- defeasible logic
- classical logic
- transition systems
- modal logic
- temporal logic
- test data
- test cases
- computational properties
- linear temporal logic
- unit testing
- formal descriptions
- state machine
- database
- test suite
- test set
- artificial intelligence
- databases
- data sets