Activities (April – June)
SESI PERKONGSIAN ILMU - FORMAL VERIFICATION & HOL
•
Dengan kerjasama pusat penyelidikan
C4MCCR, jabatan tela berjaya mengadakan
bengkel
pendek berkenaan pentahkikan
secara formal menggunakan Isabelle pada
13 April 2018.
•
Bengkel ini bertujuan untuk meningkatkan
pengetahuan dan kemahiran teknikal para
penyelidik dan pensyarah dengan teknologi
yang berkaitan dengan pentahkikan formal.
