5 Library Special 5

5 ZAIN Publications 2 DEFAULT 2 Universitas PGRI Palembang

5 Cognizance Journal of Multidisciplinary Studies 2 DEFAULT

5 Journal Journal 5 Article 1 Proceeding 1 5 Other Info 5 Software 5 less ...

Program analysis 4 Software verification 1 C language 1 CPAchecker 1 Clause slicing 1 Clauser forward slicing more ... 1 Compositional verification 1 Conditional model checking 1 Constraints 1 Cooperative verification 1 Dynamic Analysis 1 IC3 1 Incremental verification 1 Invariant generation 1 Memory safety 1 Object oriented languages 1 Program slicing 1 Program specifications 1 Program verification 1 Programming languages 1 Property-directed reachability (PDR) 1 Regression verification 1 Security 1 Software testing 1 Test coverage 1 Test-case generation 1 Type structures 1 VVT 1 k-Induction less ...

3 Beyer, Dirk 2 Lemberger, Thomas 1 Abdallah, Mohammad 1 Awad, Khalil 1 Dangl, Matthias 1 Dietl, Werner more ... 1 Grigoris Ntousakis 1 Jakobs, Marie-Christine 1 Luo, Jeff Yucong 1 Martin Rinard 1 Ngah, Amir 1 Nikos Vasilakis 1 Peringer, Petr 1 Tamimi, Abdelfatah 1 Tamimi, Hanadi 1 Veit Heller 1 Vojnar, Tomas 1 Xiang, Tongtong 1 Šoková, Veronika less ...

6 eng

3 2019 3 2020 1 2021