|
The SPADEase Project
Summary
The
SPADEase
project is a collaboration between
Heriot-Watt university
and
Praxis High Integrity Systems.
This project follows in the footsteps of a previous research
project
(NuSPADE).
The overall objective is to transfer some of the ideas from
NuSPADE
into industry. This objective is assisted through a
secondment scheme, placing the resarch associate for
NuSPADE
within
Praxis High Integrity Systems
for a period of six months.
Project Details
NuSPADE
SPADEase
Public Project Pages
Reports
| Towards Increased Verication Automation for High Integrity Software Engineering (PDF) |
rais-final-report.pdf |
| Towards Increased Verication Automation for High Integrity Software Engineering (PS) |
rais-final-report.ps |
Presentations
Internal Project Pages
These pages are intended for the development of new and
partially formed ideas. Thus these are kept internal so that
contributors can write without without fear of their
embryonic ideas being ridiculed or hijacked.
Only those directly related to the
SPADEase
project have access to these pages, i.e.
Praxis High Integrity Systems
and (a small subset of)
Heriot-Watt university.
If such people have problems accessing these pages, please
email a.ireland@hw.ac.uk.
Contact Details
|