ListOfContributors

Note: This list may be incomplete!

• Alexander Nutz
• Alex Saukh (web interface, CDT interface, CACSL2Boogie, Büchi minimization)
• Arend v. Reinersdorff (Stalin 1.0, a predecessor of ULTIMATE)
• Betim Musa (automata script)
• Björn Buchhold (Stalin 2.0, a predecessor of ULTIMATE)
• Chen Kefei (nested interpolants)
• Christian Ortolf (Stalin 1.0, a predecessor of ULTIMATE)
• Christian Schilling
• Christian Simon (Stalin 2.0, a predecessor of ULTIMATE)
• Christoph Hofmann (Ultimate in the cloud)
• Daniel Dietsch
• Daniel Christinay (NWA)
• Daniel Tischner (random automata; finite automata, Büchi and NWA minimization)
• Evren Ermis
• Fabian Reiter (Büchi complementation)
• Jan Leike (NWA, RankingFunctions, LassoRanker)
• Jan Hättig
• Jan Mortensen (NWA, Petri nets)
• Jelena Barth (Jung visualization)
• Jeremi Dzienian (Temporal Properties)
• Julian Jarecki (Petri nets)
• Jochen Hoenicke
• Jürgen Christ
• Justus Bisser
• Markus Lindenmann (web interface, CDT interface, CACSL2Boogie, Büchi minimization, C memory model)
• Markus Pomrehn (formula simplification)
• Markus Zeiger (NWA, E-Matching)
• Marius Greitschus
• Matthias Heizmann
• Matthias Keil (Prefuse visualization)
• Nicola Sheldrick (Stalin 1.0, a predecessor of ULTIMATE)
• Robert Jakob (Stalin 1.0, a predecessor of ULTIMATE)
• Simon Ley (IC3)
• Stefan Wissert (Web interface, CDT interface, CACSL2Boogie, IValuations, large block encoding)
• Vincent Langenfeld (Temporal Properties)
• Xiaolin Wu (emptiness check for Büchi NWA)