Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
[[http://www.ethz.ch/][<img border="0" src="/twiki/pub/Members/EthZurich/ethlogo-200.gif" alt="ETH Zurich"/>]] The [[http://www.sct.ethz.ch/index.html][Software Component Technology Group]] at the [[http://www.ethz.ch/][Swiss Federal Institute of Technology Zurich]] aims at creating techniques and tools for the development of provably correct object-oriented software components. The group is involved in the following work packages and tasks. The leadership over a work package or task is marked with a %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif: * [[WorkPackage.WorkPackage2][Work Package 2]]: Type-based verification * Task 2.5: Alias control types * [[WorkPackage.WorkPackage3][Work Package 3]]: Logic-based verification * Task 3.1: Byte code specification and verification * Task 3.2: Logic for resources and information flow * Task 3.4: Modular verification %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * Task 3.5: Combining type-based and logical analyses * [[WorkPackage.WorkPackage4][Work Package 4]]: Proof carrying code %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * Task 4.4: Proof-transforming compiler %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * [[WorkPackage.WorkPackage5][Work Package 5]]: Case studies * Task 5.4: Evaluation of the proof carrying code infrastructure %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * [[WorkPackage.WorkPackage6][Work Package 6]]: Dissemination, training and exploitation * Task 6.2: Dissemination activities * Task 6.3: Liaison with other initiatives * Task 6.5: Exploitation and industrial liaison %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * [[WorkPackage.WorkPackage7][Work Package 7]]: Project management * Task 7.1: Scientific coordination This group will also coordinate the [[Eup.WebHome][End User Panel]] *Contact:* [[http://www.sct.ethz.ch/people/mueller/][Prof. Peter Müller]]
End of topic
Skip to action links
|
Back to top
r1.7 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
EthZurich
to top
Ideas, requests, problems regarding the Mobius site