Computer systems have never been so ubiquitous. We continuously interact with them, direct or indirectly. Examples abound: web services, medical systems, mobile devices, automotive, communication networks, the electrical grid, etc. Modern life unquestionably depends on their proper functioning, and hence, it demands that they provide services that can be justifiably relied upon; that is, that they are dependable. This involves requirements such as safety, reliability, availability, and security that can only be guaranteed through specification and analysis techniques based on solid mathematical ground.

In the Dependable Systems Group, we seek and develop mathematical and logical foundations as well as algorithms that contribute to the developments of techniques and tools for specification and analysis of systems with the aim to achieve dependability.

Latest News

Del 19 al 23 de Febrero de 2024 se realiza la nueva edición de la escuela en la UNRC
Pedro R. D'Argenio was invited to lecture in ICTAC 2024 where he also contributed with a seminar at the Training School.
10mo Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software
Del 13 al 17 de Febrero de 2023 se realiza la nueva edición de la escuela en la UNRC
9no Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software
Next Feb 24 & 25, the first technical workshop in the framework of the project MISSION will take place in Bariloche