Formal Methods Lab. in School of
Computer Engineering, at
of Tehran is established in 2002 by a small group of
people. Currently a large group of active students
are working and doing research in this lab.
The research theme of this laboratory is mainly to investigate and apply formal methods in developing reactive and concurrent systems. The ongoing research is in the fields of basic theories, practical applications, and developing specialized tools for certain applications.
Actor-based models and coordination languages are studied and used in modeling concurrent systems. Formal verification approaches: compositional verification, model checking, reduction techniques for model checking (abstraction, symmetry, partial order reduction) are investigated and applied. The computational models of different application domains including network protocols, Web services, and system-level designs are investigated.
Joint research projects are ongoing with credible universities of Iran, and CWI in Amsterdam, Netherlands.