Sign in

Practical JFSL verification using TACO.

Marcos ChicoteDaniel Alfredo CiolekJuan Pablo Galeotti
Published in: Softw. Pract. Exp. (2014)
Keyphrases
  • machine learning
  • information retrieval
  • learning algorithm
  • similarity measure
  • lower bound
  • mobile robot
  • model checking
  • practical application
  • signature verification
  • asynchronous circuits