Formal Methods

Hari ini hari pertama saya Kuliah Pasca Sarjana di Udinus..
Kebetulan materinya tentang formal methods..
awalnya memang saya agak awam dengan istilah tersebut..tapi setelah saya browsing2 ternyata formal methods merupakan metode untuk mendesain perangkat keras..