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:

Page last modified on March 25, 2016, at 09:00 AM