IST-2001-33522 OMEGA
Correct Development of Real-Time Embedded Systems
The OMEGA toolset
Home
The OMEGA toolset 
Timed system verification
Untimed system verification
PVS tools
LSC tools
The OMEGA UML profile
Case studies
Publications and bibliography
Download documents
Partners & Persons
Dissemination
Related links
(Re-)Login|
The OMEGA toolset depicted below is formed of four components
linked by
the common semantics of the OMEGA UML profile and by the use of the XMI
format. Click on the image below to access more detailed information and other resources for each component. 
|