| Acronyme | FORMALISM |
| Finance | Ministerio de Educación y Ciencia (MEC) |
| Number | TIN2007-66523 |
| Period | 2007-01 → 2012-12 |
| Money | 821.000€ |
| Members | F.Orejas |
| Participants | Universitat Politècnica de Catalunya |
| Coordinator | F.Orejas |
| Description | The goal of this project is to understand, study, and solve problems in new tecnological contexts created by the growth in resources (computing power, storage, and communication).In particular, the project focuses on two work areas.On the one hand, it deals with modelling, design, and verification of systems that typically work or can work in open networks such as Internet.On the other hand, the project studies the modelling, verification, and synthesis of large concurrent systems that typically are implemented in VLSI circuits, with especial emphasis on asynchronous systems.Even though these areas may seem disparate, in fact the set of techniques thay they use are the same to a large extent. |
ALBCOM Research Group
© Universitat Politècnica de Catalunya, 2021