Author:
Abdulla Parosh Aziz,Atig Mohamed Faouzi,Diep Bui Phi
Publisher
Springer International Publishing
Reference18 articles.
1. CEGPV. https://github.com/diepbp/SlicingCBMC
2. SV-COMP home page. http://sv-comp.sosy-lab.org/2015/
3. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.F.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM (2014)
4. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: POPL, pp. 1–3. ACM (2002)
5. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker blast. STTT 9(5–6), 505–525 (2007)