The xSAP development team

xSAP is mainly developed and maintained by the FM (Formal Methods) unit of FBK (Fondazione Bruno Kessler).

Here is a list of the people who are currently working on the development of xSAP.

General contact

For more information, bug reports, or any comment, please send an email to xsap@fbk.eu