Forms of Logic Specifications: A Preliminary Study.
Kung-Kiu LauMario OrnaghiPublished in: LOPSTR (1996)
Keyphrases
- delay insensitive
- asynchronous circuits
- bounded model checking
- formal language
- transition systems
- operational semantics
- classical logic
- logic programming
- model checker
- defeasible logic
- artificial intelligence
- automated reasoning
- modal logic
- functional requirements
- logical framework
- computational properties
- recursive programs
- high level
- databases
- linear logic
- epistemic logic
- set theory
- linear temporal logic
- formal descriptions
- proof theory
- order sorted
- deontic logic
- abductive reasoning
- predicate logic
- digital circuits
- database
- formal verification
- description logics
- relational databases
- bayesian networks
- real time