blob: 042a68cacaba33a5e0d083383d44d163bbbfad71 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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>
|