Address:
Formal Method Laboratory
School of Electrical and Computer Engineering
University of Tehran
Pardiss 2, North Karegar Ave.
Tehran, Iran.
Tel:
+98-21-6111 4903
Fax:
+98-21-8863 3029
Email:
m s i r j a n i [A@T] u t . a c . i r
f m l [A@T] e c e . u t . a c . i r