SYNTHESIS, a Tool for Synthesizing Correct and Protocol-Enhanced Adaptors.

Massimo Tivoli Marco Autili

Published in: Obj. Logiciel Base données Réseaux (2006)

Keyphrases

lightweight
software tools
social networks
knowledge base
search algorithm
formal analysis
application layer
program synthesis