基于 PROMELA 模型的安全关键软件形式化验证技术

Translated title of the contribution: PROMELA based formal verification for safety-critical software

Liang Xing, Chengjun Ding, Hupeng Du, Chunyan Ma

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'PROMELA based formal verification for safety-critical software'. Together they form a unique fingerprint.

Computer Science