Invariant-driven specifications in Maude.
Manuel RoldánFrancisco DuránAntonio VallecilloPublished in: Sci. Comput. Program. (2009)
Keyphrases
- formal specification
- data driven
- moment invariants
- affine invariant
- affine transformation
- model checking
- quasi invariant
- equational theories
- delay insensitive
- invariant properties
- translation invariant
- neural network
- expert systems
- high level
- case study
- e learning
- information systems
- artificial intelligence
- information retrieval