Many industrial microprocessing applications that use femtosecond lasers have been developed in a variety of sectors, including medical and semiconductors. To access new large-scale such as surface texturing however, robust industrial-grade beam shaping solutions need to be combined with lasers. Cailabs Light Conversion partnership demonstrate the quality robustness their solution using Canunda...

ASTRÉE was the first static analyzer able to prove automatically the total absence of runtime errors of actual industrial programs of hundreds of thousand lines. What makes ASTRÉE such an innovative tool is its scalability, while retaining the required precision, when it is used to analyze a specific class of programs: that of reactive control-command software. In this paper, we discuss the imp...