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

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration

Release Time:2020-04-09  Hits:

Indexed by: Conference Paper

Date of Publication: 2019-01-01

Page Number: 113-120

Prev One:Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Next One:Multilevel Permission Extraction in Android Applications for Malware Detection
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
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep