Equational reasoning about LOTOS specifications: a rewriting approach.
Rocco De NicolaPaola InverardiMonica NesiPublished in: IWSSD (1991)
Keyphrases
- theorem proving
- formal specification language
- formal specification
- spatial reasoning
- query rewriting
- temporal ordering
- functional requirements
- delay insensitive
- rewriting rules
- rewrite rules
- qualitative reasoning
- formal theory
- high level
- neural network
- control flow
- formal methods
- constraint propagation
- asynchronous circuits
- temporal logic
- inductive logic programming
- conjunctive queries
- algebraic properties
- rewriting systems