Herramientas Personales
Usted está aquí: Inicio / ICC / Grupos de Investigación / rfm
Agenda [Ver +]
Defensa Tesis Licenciatura Nicolás Saravia 17/11/2017 16:00 — Laboratorio 5
Defensa Tesis Licenciatura Ariel Zylber 21/11/2017 17:00 — Aula a confirmar
Charla de la Carrera 28/11/2017 14:00 — Hall Central

Relational Formal Methods Group


The Relational Formal Methods Research Group (RFM) research is aimed at several areas of software engineering, such as formal language design, language analysis, software verification & validation, and automated generation of test cases.

Our Tools

  • DynAlloy An Efficient Extension of Alloy with Procedural Actions
  • Dynamite proving system A complete theorem prover for Alloy based on PVS, and that uses the Alloy Analyzer to improve the theorem proving experience
  • Alloy_HotCore A Fast approximation to Unsat Core
  • TACO: Translation of Annotated COde : an analysis tool that statically checks the compliance of a Java program against its Java Modeling Language (JML) specification

Our Publications

A detailed list of publications may be found here


Contact Us

  • rfm (AT) dc (DOT) uba (DOT) ar