Computer-aided software verification
This research line is aimed at specification and formal verification of application software for real-time, parallel, distributed control systems and high performance computing platforms for exigent communications