IRIT - ACADIE

Reliable Software Development


Our team, at a glance

Our team focusses on mathematical proving and certifying software correctness. Methods and know-how are particularly appropriated to domains like critical systems, emmbedded or distributed software.