Search for European Projects

"As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also ...

The European Court of Justice expects European citizenship to become the fundamental status of nationals of the Member States. It ‘lies at the heart of the European integration process’. The treaties, legislation, and case law have given Europeans an increasing number of rights. Yet the European Commission complains that these remain underused. Therefore, it has included in FP7 a call for a large- ...