Languages
简体中文
English
USTC-Yale Joint Research Center for High-Confidence Software
Research Center
Mobile Computing Lab
Software Security Lab
Advanced Networking & Information Security Lab
Menu
Research Center
Mobile Computing Lab
Software Security Lab
Advanced Networking & Information Security Lab
User login
Username:
*
Password:
*
Request new password
Home
›
Software Security Laboratory
›
Projects
›
VSync : Verifying Concurrent Software for Multicore Machines
Related Projects
Sat, 06/13/2009 - 20:31 — mfu
Flint project
TAL project
PCC project
The LogiCal project
ATS and Xanadu projects
RCAL86 project
‹ On the Verification of Strong Atomicity of Programs Using STM
up
Certified OS Kernel ›
