Model Checking MSVL Programs Based on Dynamic Symbolic Execution
From MaRDI portal
Publication:3196412
DOI10.1007/978-3-319-21398-9_41zbMath1465.68176MaRDI QIDQ3196412
Nan Zhang, Zhenhua Duan, Cong Tian, Kangkang Bu
Publication date: 29 October 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-21398-9_41
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software