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!
- Oct 26 MON, 1000-1100 [GMT+8]
- Oct 25 SUN, 2100-2200 [CDT]
- Formal Method Introduction
- Talker: Ying Sheng & Haoze Wu @ Stanford Univerity