Formal Methods Lab. in School of
Electrical and
Computer Engineering, at
University
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.
|
|