Safety

Verify LTL with Fairness Assumptions Efficiently
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
引用 DOI
Model-Checking Linear-Time Properties of Quantum Systems
We define a formal framework for reasoning about linear-time properties of quantum systems in which quantum automata are employed in …
Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
引用 DOI URL