7 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.SE2015★ 7 cited
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
Standards play the key role in safety-critical systems. Errors in standards could mislead system developer's understanding and introduce bugs into system implementations. In this p…
cs.SE2015★ 3 cited
A survey on formal specification and verification of separation kernels
Yongwang Zhao
Separation kernels are fundamental software of safety and security-critical systems, which provide to their hosted applications spatial and temporal separation as well as controlle…