AUTHORS

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

Project leader and main code designer
-------------------------------------
Dr. Antti Hyvarinen           <antti.hyvaerinen@usi.ch>

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

Previous members
----------------
Dr. Aliaksei Tsitovich       <aliaksei.tsitovich@usi.ch>
Dr. Simone Fulvio Rollini    <simone.fulvio.rollini@usi.ch>
Edgar Pek                    <edgar.pek@usi.ch>

Acknowledgments
---------------
This work has been supported by TASSO Foundation