Skip to
content
|
main University navigation
|
local section navigation
|
search
Study
Research
Business
International
Birmingham
Alumni
About
|
Open Days
|
Aston Online
More
Study
Course finder
Placement year
Languages for all
Scholarships
Open days
Prospectus
Undergraduate
Postgraduate
Teachers
Aston Online
Research
REF results
Research degrees
Aston Research Explorer
Graduate School
Research in use
Business
Short courses
Employee development
Hire a placement student
Conference facilities
Aston Centre for Growth
Enterprise Research Centre
Goldman Sachs 10,000 Small Businesses
International
Students
Exchanges
Partners & development
Agents
Aston in your country
Scholarships
English language programmes
Muscat University
Birmingham
Student life & satisfaction
Student bloggers
City living
Visiting
Alumni
Aston 50
Alumni in your country
Benefits & Services
Get Involved
Make a Gift
Stay in contact
About
Social media
News
Events
League tables
History
Map & directions
Term dates
Accommodation
Current students
Prospective students
International guarantee
Types of accommodation
Apply for accommodation
Careers+Placements
Aston Futures
Placement support
Graduate support
CV guidance
Employer services
Get advice & contact us
Student Resources
My Aston Portal
Blackboard VLE
Student Email
myAston App
Pay Outstanding Invoices
Make Payment Before Arrival
Online Store
Engineering & Applied Science
Research
Research groups
Computer Science Research Group (CSRG)
Research Projects
.
High Integrity Floating Point Computation
Responsible KEG Investigator:
Dr Michal Konečný
Project Collaborator(s):
Praxis High Integrity Systems, Ltd
Type of Project:
Case Award
Funder:
EPSRC
Date Commissioned:
10/2005
Date Completed:
03/2009
Project Summary
The project's aim is to add the ability to verify floating point programs to the SPARK/SPADE language and tools.
Engineering & Applied Science
Research
Research groups
Computer Science Research Group (CSRG)
Research Projects
ADVANCE
Cloud Computing for Large-Scale Complex IT Systems
High Integrity Floating Point Computation