AUTHORS

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

Project leaders and main code designers
-------------------------------------
Dr. Tomas Kolarik           <tomas.kolarik@usi.ch>
Dr. Martin Blicha           <martin.blicha@usi.ch>

Previous project leaders and main code designers
-------------------------------------
Dr. Antti Hyvarinen          <antti.hyvaerinen@usi.ch>
Dr. Roberto Bruttomesso      <roberto.bruttomesso@usi.ch>


Members and contributors
----------------
Konstantin Britikov          <konstantin.britikov@usi.ch>
Faezeh Labbaf                <faezeh.labbaf@usi.ch>

Previous members and contributors
----------------
Dr. Rodrigo Benedito Otoni   <rodrigo.benedito.otoni@usi.ch>
Dr. Sepideh Asadi            <asadis@usi.ch>
Masoud Asadzadeh             <masoud.asadzade@gmail.com>
Dr. Matteo Marescotti        <matte.marescotti@gmail.com>
Dr. Leonardo Alt
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