Login / Signup

Verification of Transition System Reduction via PVS.

Osamu TakakiMakoto TakeyamaHiroshi Watanabe
Published in: Inf. Media Technol. (2006)
Keyphrases
  • formal verification
  • model checking
  • timed automata
  • theorem proving
  • machine learning
  • face verification
  • verification method
  • real time
  • data sets
  • information retrieval
  • artificial neural networks