Learn More
Formal verification of real time programs, where variables can be assigned different values at every single time, is difficult due to the analyses of loops with time lags. In this paper, we consider a problem arising from verification of real-time languages: checking of the range of stream variables. We propose a constraint model for this problem, and an(More)
This paper presents an overview of the COVIRA project, AIM Project No. 2003. The COVIRA consortium has been performing research in the area of Multimodality Image Analysis, with a focus on. Registration and Segmentation. Together with results in the areas of Visualization, User Interface, Digital Anatomy Atlas, Conformal 3D Radiation Therapy Planning, and(More)
  • 1