On the Refinement of Logic Specifications.
Filomena FerrucciGiancarlo NotaGiuliano PaciniSergio OreficeGenny TortoraPublished in: Int. J. Softw. Eng. Knowl. Eng. (1992)
Keyphrases
- delay insensitive
- asynchronous circuits
- formal language
- bounded model checking
- modal logic
- transition systems
- model checker
- classical logic
- operational semantics
- high level
- multi valued
- automated reasoning
- formal specification
- defeasible logic
- probabilistic logic
- predicate logic
- specification language
- step wise
- case study
- recursive programs
- formal descriptions