Practical JFSL verification using TACO.

Marcos Chicote Daniel Alfredo Ciolek Juan 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