Name: Logic, Verification and Programming Lab
Type: User
Company: Zhejiang University
Bio: Logic, Verification and Programming Lab at College of Computer Science and Technology, Zhejiang University, China
Location: Hangzhou, China
Blog: https://person.zju.edu.cn/zhaoyw/
Logic, Verification and Programming Lab's Projects
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
Isabelle proof for CapFlow
the Isabelle/HOL sources of the classes "Formal Languages and Automata Theory (FLAT)"
Isabelle/HOL sources for the book "Functional Programming and Proof"
website of LVP Group
An OWL2 ontology of Partitioning Operating Systems (POSs) compliant with ARINC 653 (Part 1 Version 3)
a formal specification and information flow security (noninterference) proofs of separation kernels in Isabelle/HOL
Verified C implementation of TimSort using Isabelle/HOL