summaryrefslogblamecommitdiffstats
path: root/AUTHORS
blob: 042a68cacaba33a5e0d083383d44d163bbbfad71 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

















                                                         
                                
PVS2 Rewrite:
Simon Rettberg <simon.rettberg@rz.uni-freiburg.de>


* PVS1 *

Initial design and first versions:
Simon Wittenberg <wittenb@informatik.uni-freiburg.de>

Contributors:
Johann Betz <jbetz@informatik.uni-freiburg.de>
Javier Castillo <castillf@informatik.uni-freiburg.de>
Johann Latocha <johann@latocha.de>
Achille Nana <achille.achille@gmail.com>
Simon Rettberg <simon.rettberg@rz.uni-freiburg.de>
Fadi Salameh <fadi84@hotmail.com>
Alexander Hoppe <a.hoppe@gmail.com>
Benjamin Lieberwirt <benjamin.lieberwirth@googlemail.com>
Christian Klinger <io@klinch.de>