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
4500
Vecesse ha leído el artículo
1487
Total PDF
3013
Total HTML
| año/Mes | Html | Total | |
|---|---|---|---|
| 2025 12 | 14 | 9 | 23 |
| 2025 11 | 23 | 21 | 44 |
| 2025 10 | 18 | 11 | 29 |
| 2025 9 | 24 | 9 | 33 |
| 2025 8 | 32 | 9 | 41 |
| 2025 7 | 44 | 5 | 49 |
| 2025 6 | 23 | 2 | 25 |
| 2025 5 | 19 | 5 | 24 |
| 2025 4 | 12 | 3 | 15 |
| 2025 3 | 14 | 6 | 20 |
| 2025 2 | 53 | 2 | 55 |
| 2025 1 | 45 | 46 | 91 |
| 2024 12 | 9 | 6 | 15 |
| 2024 11 | 12 | 8 | 20 |
| 2024 10 | 12 | 13 | 25 |
| 2024 9 | 15 | 20 | 35 |
| 2024 8 | 18 | 11 | 29 |
| 2024 7 | 31 | 6 | 37 |
| 2024 6 | 20 | 8 | 28 |
| 2024 5 | 51 | 14 | 65 |
| 2024 4 | 27 | 7 | 34 |
| 2024 3 | 49 | 9 | 58 |
| 2024 2 | 44 | 17 | 61 |
| 2024 1 | 21 | 16 | 37 |
| 2023 12 | 25 | 15 | 40 |
| 2023 11 | 37 | 21 | 58 |
| 2023 10 | 41 | 30 | 71 |
| 2023 9 | 42 | 15 | 57 |
| 2023 8 | 24 | 14 | 38 |
| 2023 7 | 22 | 7 | 29 |
| 2023 6 | 20 | 7 | 27 |
| 2023 5 | 31 | 13 | 44 |
| 2023 4 | 35 | 4 | 39 |
| 2023 3 | 26 | 3 | 29 |
| 2023 2 | 20 | 8 | 28 |
| 2022 1 | 15 | 8 | 23 |
| 2022 12 | 43 | 7 | 50 |
| 2022 11 | 30 | 12 | 42 |
| 2022 10 | 14 | 9 | 23 |
| 2022 9 | 16 | 15 | 31 |
| 2022 8 | 15 | 10 | 25 |
| 2022 7 | 22 | 15 | 37 |
| 2022 6 | 24 | 11 | 35 |
| 2022 5 | 35 | 10 | 45 |
| 2022 4 | 72 | 13 | 85 |
| 2022 3 | 135 | 15 | 150 |
| 2022 2 | 143 | 11 | 154 |
| 2021 1 | 89 | 16 | 105 |
| 2021 12 | 51 | 12 | 63 |
| 2021 11 | 75 | 11 | 86 |
| 2021 10 | 35 | 14 | 49 |
| 2021 9 | 9 | 16 | 25 |
| 2021 8 | 22 | 6 | 28 |
| 2021 7 | 15 | 7 | 22 |
| 2021 6 | 7 | 10 | 17 |
| 2021 5 | 21 | 5 | 26 |
| 2021 4 | 57 | 22 | 79 |
| 2021 3 | 21 | 11 | 32 |
| 2021 2 | 9 | 3 | 12 |
| 2020 1 | 19 | 11 | 30 |
| 2020 12 | 14 | 14 | 28 |
| 2020 11 | 12 | 6 | 18 |
| 2020 10 | 9 | 6 | 15 |
| 2020 9 | 6 | 7 | 13 |
| 2020 8 | 12 | 12 | 24 |
| 2020 7 | 20 | 7 | 27 |
| 2020 6 | 15 | 6 | 21 |
| 2020 5 | 15 | 5 | 20 |
| 2020 4 | 21 | 4 | 25 |
| 2020 3 | 14 | 4 | 18 |
| 2020 2 | 13 | 3 | 16 |
| 2020 1 | 8 | 5 | 13 |
| 2019 12 | 6 | 5 | 11 |
| 2019 11 | 4 | 4 | 8 |
| 2019 10 | 11 | 7 | 18 |
| 2019 9 | 8 | 9 | 17 |
| 2019 8 | 6 | 10 | 16 |
| 2019 7 | 7 | 10 | 17 |
| 2019 6 | 24 | 17 | 41 |
| 2019 5 | 57 | 12 | 69 |
| 2019 4 | 40 | 8 | 48 |
| 2019 3 | 7 | 2 | 9 |
| 2019 2 | 8 | 9 | 17 |
| 2019 1 | 9 | 5 | 14 |
| 2018 12 | 10 | 10 | 20 |
| 2018 11 | 8 | 11 | 19 |
| 2018 10 | 12 | 26 | 38 |
| 2018 9 | 24 | 8 | 32 |
| 2018 8 | 5 | 9 | 14 |
| 2018 7 | 4 | 2 | 6 |
| 2018 6 | 7 | 10 | 17 |
| 2018 5 | 10 | 9 | 19 |
| 2018 4 | 13 | 8 | 21 |
| 2018 3 | 4 | 1 | 5 |
| 2018 2 | 9 | 7 | 16 |
| 2018 1 | 4 | 2 | 6 |
| 2017 12 | 5 | 0 | 5 |
| 2017 11 | 6 | 3 | 9 |
| 2017 10 | 18 | 7 | 25 |
| 2017 9 | 7 | 9 | 16 |
| 2017 8 | 4 | 9 | 13 |
| 2017 7 | 11 | 2 | 13 |
| 2017 6 | 15 | 16 | 31 |
| 2017 5 | 17 | 17 | 34 |
| 2017 4 | 2 | 9 | 11 |
| 2017 3 | 8 | 48 | 56 |
| 2017 2 | 13 | 11 | 24 |
| 2016 1 | 15 | 5 | 20 |
| 2016 12 | 14 | 14 | 28 |
| 2016 11 | 18 | 11 | 29 |
| 2016 10 | 27 | 12 | 39 |
| 2016 9 | 19 | 5 | 24 |
| 2016 8 | 22 | 6 | 28 |
| 2016 7 | 30 | 6 | 36 |
| 2016 6 | 19 | 19 | 38 |
| 2016 5 | 27 | 18 | 45 |
| 2016 4 | 12 | 17 | 29 |
| 2016 3 | 21 | 18 | 39 |
| 2016 2 | 23 | 14 | 37 |
| 2015 1 | 19 | 31 | 50 |
| 2015 12 | 16 | 34 | 50 |
| 2015 11 | 10 | 14 | 24 |
| 2015 10 | 16 | 25 | 41 |
| 2015 9 | 13 | 26 | 39 |
| 2015 8 | 28 | 22 | 50 |
| 2015 7 | 33 | 9 | 42 |
| 2015 6 | 21 | 6 | 27 |
| 2015 5 | 27 | 18 | 45 |
| 2015 4 | 17 | 17 | 34 |
| 2015 3 | 20 | 26 | 46 |
| 2015 2 | 19 | 12 | 31 |
| 2015 1 | 18 | 11 | 29 |
Mostrar todo