| Login |
CITI and OutSystems SA launch research partnership
CITI's PLASTIC research team of the Software Principles and Methods Thematic Area and OutSystems SA, a multinational software company based in Portugal, have established a research partnership to work on advanced programming language-based software verification techniques.
CITI, Carnegie Mellon University, OutSystems SA, and LASIGE, are also partners in the Carnegie-Mellon|Portugal lead project INTERFACES, which will be focused on the development of new techniques, based on logics and type systems, and spanning from principles and theory to application and prototype development, for automatically ensuring correctness properties of extensible software applications, such as those generated by OutSystems Agile Platform.
See more on: