Projects
Support Centre for Standardised Assessment in Education Hasselt University
Services related to the evaluation of the FAITH project. University of Antwerp
The development of mathematical observers for optimization in breast imaging KU Leuven
Breast cancer screening in women aims to reduce cancer mortality rate by means of early detection and treatment. The screening is typically performed using a two-dimensional (2D) full-field digital mammography (FFDM) system, where the breast structure is captured in a single 2D projection. However the representation of three-dimensional (3D) breast tissue in 2D images causes a major drawback of this technique: normal tissue could mask a ...
Optimal peelable seals in packaging concepts undergoing thermal processing Hasselt University
Development of long-acting injectable formulations for poorly soluble anti-HIV compounds KU Leuven
Modular Formal Verification of Total Correctness Properties of Concurrent Imperative Programs KU Leuven
For software development projects with very high correctness requirements (including safety requirements, security requirements, responsiveness requirements, or real-time requirements), in many cases insufficient assurance of correctness can be obtained through classical quality assurance techniques such as testing and code review. In contrast, the alternative approach of formal verification, where mathematical methods are used to ...