Proving Invariants of I/O Automata with TAME.
Myla ArcherConstance L. HeitmeyerElvinia RiccobenePublished in: Autom. Softw. Eng. (2002)
Keyphrases
- input output
- cellular automata
- finite automata
- file system
- finite state
- main memory
- affine invariant
- imperative programs
- quasi invariant
- lattice gas
- probabilistic automata
- moment invariants
- secondary storage
- tree automata
- storage systems
- external memory
- multi dimensional
- invariant representation
- projective invariants
- invariant features
- finite state machines
- regular expressions
- index structure