Formal Method in Software Engineering, dengan kompetensi utama di bidang Formal Method in Software Engineering.

Kepala Lab:
Prof. Belawati H. Widjaja, Ph.D.
E-mail: bela(at)cs.ui.ac.id

Deskripsi Lab

• Metode formal (Formal method) adalah sebuah teknik berbasis logika matematik untuk membuat spesifikasi sebuah sistem komputer (software maupun hardware) secara tidak rancu, dan melakukan verifikasi. Penggunakan metode formal dimotivasi oleh penerapan analisa matematika dan logika yang dapat menjamin kebenaran dari sebuah desain dan pengimplementasiannya sebagaimana pembuktikan matematis menjamin kebenaran dari sebuah formula.
• Laboratorium penelitian ini memfokuskan diri untuk menghasilkan perangkat lunak yang reliable dan secure dengan penerapan formal
  method dalam software engineering sebagai pelopor di Indonesia.

Website:
http://fmse.cs.ui.ac.id/