The Specification Logic vZ.
Martin C. HensonBesnik KajtaziPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- asynchronous circuits
- transition systems
- state machine
- linear temporal logic
- modal logic
- formal language
- logic programming
- classical logic
- high level
- case study
- automated reasoning
- operational semantics
- active rules
- provably correct
- abductive reasoning
- predicate logic
- temporal logic
- user defined
- model checking
- formal theory
- data sets
- specification language
- probability theory
- sound and complete axiomatization