After one year, the project ADVANCE has made considerable progress towards its aim of developing advanced techniques and tools for the validation of complex reactive systems such as modern telecommunication protocols.
The main achievements obtained during the first 12 months of the project are the following: