Home
>
Research results
>
Contracts & grants
> Contract
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
Contract / grant for group Toccata
FVOOS
Contrat europeen
May 2008 - Apr 2011
Group :
Toccata
Principal investigator :
MARCHÉ Claude
Administrator :
Affiliation :
INRIA
Formal Verification of Object-Oriented Programs
The aim of this action is to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale.
Research activities
Program proof
Object-Oriented Programming
Formal Methods for Software Engineering
Participants
More information :
http://www.cost-ic0701.org/
Contracts & grants
°
SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF
> more contracts & grants
