Logic, Verification and Programming Lab at College of Computer Science and Technology, Zhejiang University, China
-
Zhejiang University
- Hangzhou, China
- https://person.zju.edu.cn/zhaoyw/
Block or Report
Block or report LVPGroup
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
arinc653model
arinc653model PublicA complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
-
separationkernel
separationkernel Publica formal specification and information flow security (noninterference) proofs of separation kernels in Isabelle/HOL
-
OWLPOS
OWLPOS PublicAn OWL2 ontology of Partitioning Operating Systems (POSs) compliant with ARINC 653 (Part 1 Version 3)
Web Ontology Language
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.