FBK
Home Features Documentation License Download People & Contact Related Projects Publications Useful Links Submit Bug Reports FAQ

Frequently Asked Questions

At the moment this section about xSAP is quite empty, we will fill it according to the feedback and questions we receive from you.

xSAP is based on nuXmv, and there are some FAQ you may be interested in here


FAQ 0001

Q: How can I subscribe/unsubscribe to the xSAP user mailing list?

A: You can subscribe/unsubscribe as follows: