Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification
Ramírez-de León Edgar Darío
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
Chávez-Bosquez Oscar**
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
Francisco-León Julián Javier***
División Académica de Informática y Sistemas Universidad Juárez Autónoma de Tabasco
Leído
3859
Vecesse ha leído el artículo
1287
Total PDF
2572
Total HTML
| año/Mes | Html | Total | |
|---|---|---|---|
| 2024 Mayo | 48 | 14 | 62 |
| 2024 Abril | 27 | 7 | 34 |
| 2024 Marzo | 49 | 9 | 58 |
| 2024 Febrero | 44 | 17 | 61 |
| 2024 Enero | 21 | 16 | 37 |
| 2023 Diciembre | 25 | 15 | 40 |
| 2023 Noviembre | 37 | 21 | 58 |
| 2023 Octubre | 41 | 30 | 71 |
| 2023 Septiembre | 42 | 15 | 57 |
| 2023 Agosto | 24 | 14 | 38 |
| 2023 Julio | 22 | 7 | 29 |
| 2023 Junio | 20 | 7 | 27 |
| 2023 Mayo | 31 | 13 | 44 |
| 2023 Abril | 35 | 4 | 39 |
| 2023 Marzo | 26 | 3 | 29 |
| 2023 Febrero | 20 | 8 | 28 |
| 2023 Enero | 15 | 8 | 23 |
| 2022 Diciembre | 43 | 7 | 50 |
| 2022 Noviembre | 30 | 12 | 42 |
| 2022 Octubre | 14 | 9 | 23 |
| 2022 Septiembre | 16 | 15 | 31 |
| 2022 Agosto | 15 | 10 | 25 |
| 2022 Julio | 22 | 15 | 37 |
| 2022 Junio | 24 | 11 | 35 |
| 2022 Mayo | 35 | 10 | 45 |
| 2022 Abril | 72 | 13 | 85 |
| 2022 Marzo | 135 | 15 | 150 |
| 2022 Febrero | 143 | 11 | 154 |
| 2022 Enero | 89 | 16 | 105 |
| 2021 Diciembre | 51 | 12 | 63 |
| 2021 Noviembre | 75 | 11 | 86 |
| 2021 Octubre | 35 | 14 | 49 |
| 2021 Septiembre | 9 | 16 | 25 |
| 2021 Agosto | 22 | 6 | 28 |
| 2021 Julio | 15 | 7 | 22 |
| 2021 Junio | 7 | 10 | 17 |
| 2021 Mayo | 21 | 5 | 26 |
| 2021 Abril | 57 | 22 | 79 |
| 2021 Marzo | 21 | 11 | 32 |
| 2021 Febrero | 9 | 3 | 12 |
| 2021 Enero | 19 | 11 | 30 |
| 2020 Diciembre | 14 | 14 | 28 |
| 2020 Noviembre | 12 | 6 | 18 |
| 2020 Octubre | 9 | 6 | 15 |
| 2020 Septiembre | 6 | 7 | 13 |
| 2020 Agosto | 12 | 12 | 24 |
| 2020 Julio | 20 | 7 | 27 |
| 2020 Junio | 15 | 6 | 21 |
| 2020 Mayo | 15 | 5 | 20 |
| 2020 Abril | 21 | 4 | 25 |
| 2020 Marzo | 14 | 4 | 18 |
| 2020 Febrero | 13 | 3 | 16 |
| 2020 Enero | 8 | 5 | 13 |
| 2019 Diciembre | 6 | 5 | 11 |
| 2019 Noviembre | 4 | 4 | 8 |
| 2019 Octubre | 11 | 7 | 18 |
| 2019 Septiembre | 8 | 9 | 17 |
| 2019 Agosto | 6 | 10 | 16 |
| 2019 Julio | 7 | 10 | 17 |
| 2019 Junio | 24 | 17 | 41 |
| 2019 Mayo | 57 | 12 | 69 |
| 2019 Abril | 40 | 8 | 48 |
| 2019 Marzo | 7 | 2 | 9 |
| 2019 Febrero | 8 | 9 | 17 |
| 2019 Enero | 9 | 5 | 14 |
| 2018 Diciembre | 10 | 10 | 20 |
| 2018 Noviembre | 8 | 11 | 19 |
| 2018 Octubre | 12 | 26 | 38 |
| 2018 Septiembre | 24 | 8 | 32 |
| 2018 Agosto | 5 | 9 | 14 |
| 2018 Julio | 4 | 2 | 6 |
| 2018 Junio | 7 | 10 | 17 |
| 2018 Mayo | 10 | 9 | 19 |
| 2018 Abril | 13 | 8 | 21 |
| 2018 Marzo | 4 | 1 | 5 |
| 2018 Febrero | 9 | 7 | 16 |
| 2018 Enero | 4 | 2 | 6 |
| 2017 Diciembre | 5 | 0 | 5 |
| 2017 Noviembre | 6 | 3 | 9 |
| 2017 Octubre | 18 | 7 | 25 |
| 2017 Septiembre | 7 | 9 | 16 |
| 2017 Agosto | 4 | 9 | 13 |
| 2017 Julio | 11 | 2 | 13 |
| 2017 Junio | 15 | 16 | 31 |
| 2017 Mayo | 17 | 17 | 34 |
| 2017 Abril | 2 | 9 | 11 |
| 2017 Marzo | 8 | 48 | 56 |
| 2017 Febrero | 13 | 11 | 24 |
| 2017 Enero | 15 | 5 | 20 |
| 2016 Diciembre | 14 | 14 | 28 |
| 2016 Noviembre | 18 | 11 | 29 |
| 2016 Octubre | 27 | 12 | 39 |
| 2016 Septiembre | 19 | 5 | 24 |
| 2016 Agosto | 22 | 6 | 28 |
| 2016 Julio | 30 | 6 | 36 |
| 2016 Junio | 19 | 19 | 38 |
| 2016 Mayo | 27 | 18 | 45 |
| 2016 Abril | 12 | 17 | 29 |
| 2016 Marzo | 21 | 18 | 39 |
| 2016 Febrero | 23 | 14 | 37 |
| 2016 Enero | 19 | 31 | 50 |
| 2015 Diciembre | 16 | 34 | 50 |
| 2015 Noviembre | 10 | 14 | 24 |
| 2015 Octubre | 16 | 25 | 41 |
| 2015 Septiembre | 13 | 26 | 39 |
| 2015 Agosto | 28 | 22 | 50 |
| 2015 Julio | 33 | 9 | 42 |
| 2015 Junio | 21 | 6 | 27 |
| 2015 Mayo | 27 | 18 | 45 |
| 2015 Abril | 17 | 17 | 34 |
| 2015 Marzo | 20 | 26 | 46 |
| 2015 Febrero | 19 | 12 | 31 |
| 2015 Enero | 18 | 11 | 29 |
Mostrar todo