Tools and Interoperability
• Co-investigators in EU FP6 Coordination
Action proposal – “FMnet”
• DTI/EPSRC TCS/KTP E-business toolkit
for UK SMEs
• HOL theorem proving
• Safety-critical and
real-time systems
• Refinement tools
• XML & e-technology