TAPAAL Contact Information
To contact the development team, send an email to tapaal(at)cs.aau.dk
Development Team
GUI and Translations:
- Lasse Jacobsen
- Morten Jacobsen
- Mikael H. Møller
- Kenneth Yrke Jørgensen
- Jiri Srba
Past contributors:
- Joakim Byg
TAPAAL Engine (verifytapn):
- Alexandre David
- Lasse Jacobsen
- Morten Jacobsen
- Jiri Srba
Other Contributors
We would like to thank the following people for their involvement in the TAPAAL project:
- Michael Garde
- Arild Martin Møller Haugstad
- Martin Chmelík
- Jonas Finnemann Jensen
- Martin Leginus
- Heidi Selmer Nielsen
- Thomas Søndersø Nielsen
- Marius Pallisgaard Olsen
- Christian Høgh Pedersen
- Long Huy Phan
- Kenneth Sejersgaard-Jacobsen
- Mikkel Holm Søgaard
- Valdas Zemaitis
- Lars Kærlund Østergaard
Acknowledgments
We would like to thank
- the UPPAAL development team in special Alexandre David and Arild Martin Møller Haugstad for their help with UPPAAL,
- Krishna Prasad Gundam and Ye Tian for their comments and suggestions for the very first version of the translation algorithms,
- Michael J. A. Smith for providing us with the idea and example code for the improved query designer, and
- the PIPE2 development teams and for creating PIPE2 and releasing it under an open source license, making the development of TAPAAL possible.
Without these people the development of TAPAAL would not have been possible.
News
14.10.2011 - TAPAAL 2.0.2
22.08.2011 - TAPAAL 2.0.1
30.06.2011 - TAPAAL 2.0.0
16.06.2011 - TAPAAL 1.4.3
More news
TAPAAL (Aalborg University)
(c) 2008-2011
(c) 2008-2011