date:
updated:

AEGIS W13-Formal Method Introduction


Formal method is a powerful tool and an important topic in software analysis, verification, and security. In AEGIS W13, we invited Ying Sheng and Haoze Wu from Stanford University to give us a tutorial and introduction on formal method. Welcome aboard!

Time:

  • Oct 26 MON, 1000-1100 [GMT+8]
  • Oct 25 SUN, 2100-2200 [CDT]

Topic:

  • Formal Method Introduction
  • Talker: Ying Sheng & Haoze Wu @ Stanford Univerity

← Prev AEGIS W14-Bluetooth Security | AEGIS W12-Domain Spcefic Accelerator Next →