papers
Publications (8)
cs.FL2018
Compositional Reasoning for Shared-variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, David Sanan +4
cs.SE2017
Refinement-based Specification and Security Analysis of Separation Kernels
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
cs.SE2015
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B
Yongwang Zhao, Zhibin Yang, David Sanan +1
cs.SE2018
An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
cs.SE2018
A Verified Timsort C Implementation in Isabelle/HOL
Yu Zhang, Yongwang Zhao, David Sanan
cs.PL2018
Executable Operational Semantics of Solidity
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin +3
cs.SE2017
High-Assurance Separation Kernels: A Survey on Formal Methods
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
cs.LO2019
A formalisation of the SPARC TSO memory model for multi-core machine code
Zhe Hou, David Sanan, Alwen Tiu +2