11 Library Special 9 University 2

9 ZAIN Publications 5 Universitas PGRI Palembang 3 DEFAULT

9 Cognizance Journal of Multidisciplinary Studies 3 DEFAULT

14 Other Info 14 Software 14 11 Journal Journal 9 EJournal 2

Software verification 5 Cooperative verification 4 Abstraction refinement 4 CEGAR 4 Decomposition 4 Program analysis more ... 4 Software engineering 3 C language 2 Benchmark 2 SV-Benchmarks 2 Verification tasks 1 Artifact 1 Bounded model checking 1 CPAchecker 1 Compositional verification 1 Concurrency 1 Conditional model checking 1 Context-bounded analysis 1 Gazer 1 IC3 1 Incremental verification 1 Invariant generation 1 Memory safety 1 Multi-threaded programs 1 Precision reuse 1 Property-directed reachability (PDR) 1 Regression verification 1 Replication artifact 1 SV-COMP 1 SV-COMP 2020 1 Sequentialization 1 Software model checking 1 Software testing 1 TACAS 2020 1 Test coverage 1 Test-case generation 1 Theta 1 VVT 1 Witness validator 1 k-Induction less ...

9 Beyer, Dirk 6 Lemberger, Thomas 4 Haltermann, Jan 4 Wehrheim, Heike 2 Jakobs, Marie-Christine 1 Berger, Philipp more ... 1 Bernd Fischer 1 Dangl, Matthias 1 Ermenegildo Tomasco 1 Gennaro Parlato 1 Hajdu, Ákos 1 Joost-Pieter Katoen 1 Omar Inverso 1 Peringer, Petr 1 Sallai, Gyula 1 Salvatore La Torre 1 Vojnar, Tomas 1 Ádám, Zsófia 1 Šoková, Veronika 1 Švejda, Jan less ...

12 eng

4 2019 4 2020 4 2021 2 2022