Verification of Symmetry Detection using PVS.
Shamim RiponAlice MillerPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- symmetry detection
- formal verification
- model checking
- rotational symmetry
- timed automata
- concurrent systems
- theorem proving
- verification method
- face verification
- xml schema
- formal analysis
- signature verification
- neural network
- databases
- theorem prover
- database
- distributed systems
- data model
- object recognition
- genetic algorithm