2 papers
cs.PL2018
KRust: A Formal Executable Semantics of Rust
Feng Wang, Fu Song, Min Zhang +2
Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borro…
cs.SE2017
Towards an executable semantics of automobile RTOS standard and its application to conformance verification
Xiaoran Zhu, Min Zhang, Jian Guo
The automobile Real-Time Operating System (RTOS) is hard to design and implement due to its real time features and increasing complexity. Some automobile RTOS standards are release…