State of the Art in the Research of Formal Verification
Estado del arte de la investigación en verificación formal
Serna-M. Edgar
Corporación Universitaria Remington, Medellín, Colombia
Morales-V. David**
Diversien S.A.S. Medellín, Colombia
Leído
4483
Vecesse ha leído el artículo
1356
Total PDF
3127
Total HTML
| año/Mes | Html | Total | |
|---|---|---|---|
| 2025 12 | 53 | 15 | 68 |
| 2025 11 | 149 | 71 | 220 |
| 2025 10 | 84 | 27 | 111 |
| 2025 9 | 87 | 34 | 121 |
| 2025 8 | 111 | 32 | 143 |
| 2025 7 | 104 | 18 | 122 |
| 2025 6 | 49 | 9 | 58 |
| 2025 5 | 79 | 7 | 86 |
| 2025 4 | 52 | 6 | 58 |
| 2025 3 | 54 | 2 | 56 |
| 2025 2 | 26 | 15 | 41 |
| 2025 1 | 53 | 5 | 58 |
| 2024 12 | 40 | 8 | 48 |
| 2024 11 | 43 | 16 | 59 |
| 2024 10 | 44 | 16 | 60 |
| 2024 9 | 42 | 31 | 73 |
| 2024 8 | 48 | 19 | 67 |
| 2024 7 | 28 | 13 | 41 |
| 2024 6 | 28 | 11 | 39 |
| 2024 5 | 18 | 9 | 27 |
| 2024 4 | 34 | 6 | 40 |
| 2024 3 | 48 | 13 | 61 |
| 2024 2 | 57 | 7 | 64 |
| 2024 1 | 42 | 11 | 53 |
| 2023 12 | 37 | 13 | 50 |
| 2023 11 | 48 | 10 | 58 |
| 2023 10 | 49 | 12 | 61 |
| 2023 9 | 29 | 5 | 34 |
| 2023 8 | 25 | 9 | 34 |
| 2023 7 | 15 | 13 | 28 |
| 2023 6 | 24 | 13 | 37 |
| 2023 5 | 19 | 8 | 27 |
| 2023 4 | 21 | 16 | 37 |
| 2023 3 | 5 | 8 | 13 |
| 2023 2 | 10 | 10 | 20 |
| 2022 1 | 17 | 11 | 28 |
| 2022 12 | 10 | 10 | 20 |
| 2022 11 | 17 | 10 | 27 |
| 2022 10 | 22 | 14 | 36 |
| 2022 9 | 23 | 12 | 35 |
| 2022 8 | 27 | 18 | 45 |
| 2022 7 | 20 | 14 | 34 |
| 2022 6 | 11 | 9 | 20 |
| 2022 5 | 16 | 8 | 24 |
| 2022 4 | 16 | 17 | 33 |
| 2022 3 | 24 | 13 | 37 |
| 2022 2 | 43 | 5 | 48 |
| 2021 1 | 42 | 9 | 51 |
| 2021 12 | 27 | 16 | 43 |
| 2021 11 | 18 | 9 | 27 |
| 2021 10 | 20 | 12 | 32 |
| 2021 9 | 14 | 13 | 27 |
| 2021 8 | 11 | 6 | 17 |
| 2021 7 | 11 | 9 | 20 |
| 2021 6 | 16 | 7 | 23 |
| 2021 5 | 9 | 7 | 16 |
| 2021 4 | 17 | 24 | 41 |
| 2021 3 | 17 | 13 | 30 |
| 2021 2 | 5 | 10 | 15 |
| 2020 1 | 6 | 10 | 16 |
| 2020 12 | 9 | 3 | 12 |
| 2020 11 | 3 | 11 | 14 |
| 2020 10 | 4 | 7 | 11 |
| 2020 9 | 6 | 7 | 13 |
| 2020 8 | 9 | 6 | 15 |
| 2020 7 | 9 | 4 | 13 |
| 2020 6 | 6 | 6 | 12 |
| 2020 5 | 9 | 8 | 17 |
| 2020 4 | 11 | 1 | 12 |
| 2020 3 | 49 | 2 | 51 |
| 2020 2 | 21 | 5 | 26 |
| 2020 1 | 5 | 6 | 11 |
| 2019 12 | 10 | 9 | 19 |
| 2019 11 | 9 | 3 | 12 |
| 2019 10 | 4 | 2 | 6 |
| 2019 9 | 14 | 4 | 18 |
| 2019 8 | 8 | 4 | 12 |
| 2019 7 | 5 | 11 | 16 |
| 2019 6 | 22 | 30 | 52 |
| 2019 5 | 68 | 69 | 137 |
| 2019 4 | 33 | 21 | 54 |
| 2019 3 | 5 | 11 | 16 |
| 2019 2 | 7 | 8 | 15 |
| 2019 1 | 0 | 1 | 1 |
| 2018 12 | 4 | 4 | 8 |
| 2018 11 | 10 | 1 | 11 |
| 2018 10 | 3 | 10 | 13 |
| 2018 9 | 10 | 7 | 17 |
| 2018 8 | 1 | 0 | 1 |
| 2018 7 | 2 | 4 | 6 |
| 2018 6 | 5 | 0 | 5 |
| 2018 5 | 6 | 3 | 9 |
| 2018 4 | 14 | 0 | 14 |
| 2018 3 | 5 | 2 | 7 |
| 2018 2 | 3 | 0 | 3 |
| 2018 1 | 7 | 0 | 7 |
| 2017 12 | 8 | 0 | 8 |
| 2017 11 | 15 | 4 | 19 |
| 2017 10 | 11 | 1 | 12 |
| 2017 9 | 14 | 1 | 15 |
| 2017 8 | 7 | 1 | 8 |
| 2017 7 | 9 | 6 | 15 |
| 2017 6 | 15 | 3 | 18 |
| 2017 5 | 23 | 3 | 26 |
| 2017 4 | 14 | 3 | 17 |
| 2017 3 | 13 | 38 | 51 |
| 2017 2 | 20 | 4 | 24 |
| 2016 1 | 11 | 3 | 14 |
| 2016 12 | 17 | 10 | 27 |
| 2016 11 | 24 | 5 | 29 |
| 2016 10 | 21 | 6 | 27 |
| 2016 9 | 22 | 1 | 23 |
| 2016 8 | 24 | 2 | 26 |
| 2016 7 | 23 | 6 | 29 |
| 2016 6 | 28 | 7 | 35 |
| 2016 5 | 20 | 6 | 26 |
| 2016 4 | 22 | 11 | 33 |
| 2016 3 | 17 | 12 | 29 |
| 2016 2 | 15 | 15 | 30 |
| 2015 1 | 21 | 17 | 38 |
| 2015 12 | 15 | 14 | 29 |
| 2015 11 | 19 | 9 | 28 |
| 2015 10 | 18 | 15 | 33 |
| 2015 9 | 25 | 11 | 36 |
| 2015 8 | 12 | 4 | 16 |
| 2015 7 | 9 | 4 | 13 |
| 2015 6 | 9 | 3 | 12 |
| 2015 5 | 14 | 6 | 20 |
| 2015 4 | 20 | 18 | 38 |
| 2015 3 | 12 | 11 | 23 |
| 2015 2 | 25 | 10 | 35 |
| 2015 1 | 25 | 12 | 37 |
Mostrar todo