--------------------------------------------------------------
          Universita' della Svizzera Italiana
               Department of Informatics
            Verification and Security Group
  Lead by Prof. Natasha Sharygina <natasha.sharygina@usi.ch>
--------------------------------------------------------------

Project leader and main code designer
-------------------------------------
Dr. Roberto  Bruttomesso      <roberto.bruttomesso@usi.ch>

Project members
---------------
Aliaksei Tsitovich            <aliaksei.tsitovich@usi.ch>
Simone Fulvio Rollini         <simone.fulvio.rollini@usi.ch>

Previous members
----------------
Edgar    Pek                  <edgar.pek@usi.ch>

Acknowledgments

This work is supported by TASSO Foundation
