SunHuan321

Pinned Repositories

SeCore
Formal verification of noninterference for muticore ARINC653
Language:Isabelle00
spes
Tool for checking whether two SQL queries are equivalent
Language:Java00
uc-OS-verification
Verification of memory management and mailbox module
Language:Isabelle4 1 00

SunHuan321's Repositories

SunHuan321/uc-OS-verification
Verification of memory management and mailbox module
Language:Isabelle4 1 00
SunHuan321/SeCore
Formal verification of noninterference for muticore ARINC653
Language:Isabelle00
SunHuan321/spes
Tool for checking whether two SQL queries are equivalent
Language:Java00