location： Current position: Home >> Scientific Research >> Paper Publications

Software verification acceleration by integrating theorem proving and model checking

Hits:

Date of Publication:2022-10-08

Journal:东北大学学报 自然科学版

Volume:35

Page Number:13-18

ISSN No.:1005-3026

Pre One:Software reliability test based on markov usage model

Next One:基于FPGA的嵌入式SoC课程群公共实验教学平台
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click : times
  • MOBILE Version
    •
    Open time:..
    The Last Update Time:..

    Mobile phone sweep