The specification logic nuZ.
Martin C. HensonMoshe DeutschBesnik KajtaziPublished in: Formal Aspects Comput. (2006)
Keyphrases
- asynchronous circuits
- transition systems
- state machine
- formal language
- linear temporal logic
- high level
- classical logic
- modal logic
- operational semantics
- active rules
- multi valued
- logic programming
- predicate logic
- temporal logic
- specification languages
- computational properties
- reactive systems
- sound and complete axiomatization
- constraint language
- real time
- formal theory
- digital circuits
- automated reasoning
- formal methods
- formal specification
- user defined
- website
- genetic algorithm
- databases