While explaining to Aerospace and Defense Review Europe what makes HELITECHNIC Leutner KG a trusted helicopter maintenance and technical assistance partner, Markus Leutner, founder and managing director, was already on his way to a site to prove it. He was travelling to southern Europe, where an EC135 had been grounded by an engine failure. The operator had reported the AOG a week earlier. Within two days, transportation for a replacement engine had been arranged. Once the engine arrived, Leutner and the team were en route to complete the replacement and return the helicopter to service. It reflected how HELITECHNIC operates when aircraft availability is at stake; respond directly, bring the required technical experience to the aircraft and prevent avoidable downtime from extending an already costly interruption. Two weeks earlier, Leutner had been inside another hangar helping an MRO remove and reinstall the main rotor mast on a BK117D3. It was the organisation’s first helicopter of that type. The engineers understood the maintenance procedure, but they had not yet developed experience with how that work unfolded on the aircraft. Leutner worked alongside the MRO team, bringing knowledge gained over years in the field. Both assignments reveal the business behind HELITECHNIC. The company is not simply another source of maintenance manpower. It gives operators and MROs access to specialised experience at the moment when its absence could keep an aircraft grounded, complicate a major inspection or place an important technical decision at risk.

Software verification in aerospace extends beyond testing individual scenarios, particularly when safety depends on understanding behaviour across possible inputs and execution conditions that conventional testing cannot fully cover. Runtime errors, data races, stack overflows, timing bottlenecks and memory-safety issues can remain outside the reach of finite test cases, making full data and path coverage crucial for safety-critical software. AbsInt develops static analysis and formal verification tools, helping aerospace organisations examine software behaviour. The analysis provides mathematically sound results for all possible inputs and execution scenarios, supporting software verification and certification. Rigorous analysis can fit the engineering environment already in use. “Our goal goes beyond finding bugs,” says Dr. Christian Ferdinand, CEO. “We aim to formally prove their absence, giving aerospace teams the confidence to build, verify and certify software.” The technology is used by organisations including Airbus, ATR, OHB, ESA, Thales Alenia Space and NASA. Turning Analysis into Certification Evidence AbsInt takes its name from abstract interpretation, the formal method underlying its core analysis technology. The method uses safe yet minimal overapproximation to analyse complex software systematically while preserving mathematical soundness when determining whether software behaviour can be considered safe.