 |
Academic Support Programme
The fully supported professional SPARK toolset is available
free-of-charge to university faculty members for teaching
and/or research. Several universities have already discovered
the benefits of SPARK in teaching software verification, design-by-contract™,
real-time, and high-integrity software engineering. Please
contact us for further details.
Universities using SPARK
Links are provided where possible to the faculty, research
groups, or courses that feature SPARK.
Universities which have used SPARK
| Universities which
have previously used SPARK in their teaching and research
include: |
| UK |
| University of Essex |
University of Birmingham |
| University of Kent |
Royal Holloway |
| University of Paisley |
University of Northumbria |
| North America |
New York University
|
University of Ottowa, Canada |
Kettering University, Michigan
|
Michigan State University |
Roger Williams University
|
New Mexico State University |
Indiana University Southeast
|
Perdue University |
University of Illinois at Urbana Champagin
|
Carleton University, Ottowa, Canada |
| Europe |
| TU Berlin, Germany |
IIT, Madrid, Spain |
| Charles University, Prague, Czech Republic |
Universite de Valenciennes, France |
| Eötvös Loránd University, Hungary |
Universidad Politécnica de Madrid, Spain |
| Universidad de Cantrabia, Spain |
Ostfold University College, Norway |
| Ghent University, Belgium |
TU Munchen, Germany |
| Australasia |
| University of Otago, New Zealand |
SVRC, University of Queensland |
|
|
