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
Read
3019
Timeswas read the article
1021
Total PDF
1998
Total HTML
| Year/Month | Html | Total | |
|---|---|---|---|
| 2024 July | 17 | 9 | 26 |
| 2024 June | 28 | 11 | 39 |
| 2024 May | 18 | 9 | 27 |
| 2024 April | 34 | 6 | 40 |
| 2024 March | 48 | 13 | 61 |
| 2024 February | 57 | 7 | 64 |
| 2024 January | 42 | 11 | 53 |
| 2023 December | 37 | 13 | 50 |
| 2023 November | 48 | 10 | 58 |
| 2023 October | 49 | 12 | 61 |
| 2023 September | 29 | 5 | 34 |
| 2023 August | 25 | 9 | 34 |
| 2023 July | 15 | 13 | 28 |
| 2023 June | 24 | 13 | 37 |
| 2023 May | 19 | 8 | 27 |
| 2023 April | 21 | 16 | 37 |
| 2023 March | 5 | 8 | 13 |
| 2023 February | 10 | 10 | 20 |
| 2023 January | 17 | 11 | 28 |
| 2022 December | 10 | 10 | 20 |
| 2022 November | 17 | 10 | 27 |
| 2022 October | 22 | 14 | 36 |
| 2022 September | 23 | 12 | 35 |
| 2022 August | 27 | 18 | 45 |
| 2022 July | 20 | 14 | 34 |
| 2022 June | 11 | 9 | 20 |
| 2022 May | 16 | 8 | 24 |
| 2022 April | 16 | 17 | 33 |
| 2022 March | 24 | 13 | 37 |
| 2022 February | 43 | 5 | 48 |
| 2022 January | 42 | 9 | 51 |
| 2021 December | 27 | 16 | 43 |
| 2021 November | 18 | 9 | 27 |
| 2021 October | 20 | 12 | 32 |
| 2021 September | 14 | 13 | 27 |
| 2021 August | 11 | 6 | 17 |
| 2021 July | 11 | 9 | 20 |
| 2021 June | 16 | 7 | 23 |
| 2021 May | 9 | 7 | 16 |
| 2021 April | 17 | 24 | 41 |
| 2021 March | 17 | 13 | 30 |
| 2021 February | 5 | 10 | 15 |
| 2021 January | 6 | 10 | 16 |
| 2020 December | 9 | 3 | 12 |
| 2020 November | 3 | 11 | 14 |
| 2020 October | 4 | 7 | 11 |
| 2020 September | 6 | 7 | 13 |
| 2020 August | 9 | 6 | 15 |
| 2020 July | 9 | 4 | 13 |
| 2020 June | 6 | 6 | 12 |
| 2020 May | 9 | 8 | 17 |
| 2020 April | 11 | 1 | 12 |
| 2020 March | 49 | 2 | 51 |
| 2020 February | 21 | 5 | 26 |
| 2020 January | 5 | 6 | 11 |
| 2019 December | 10 | 9 | 19 |
| 2019 November | 9 | 3 | 12 |
| 2019 October | 4 | 2 | 6 |
| 2019 September | 14 | 4 | 18 |
| 2019 August | 8 | 4 | 12 |
| 2019 July | 5 | 11 | 16 |
| 2019 June | 22 | 30 | 52 |
| 2019 May | 68 | 69 | 137 |
| 2019 April | 33 | 21 | 54 |
| 2019 March | 5 | 11 | 16 |
| 2019 February | 7 | 8 | 15 |
| 2019 January | 0 | 1 | 1 |
| 2018 December | 4 | 4 | 8 |
| 2018 November | 10 | 1 | 11 |
| 2018 October | 3 | 10 | 13 |
| 2018 September | 10 | 7 | 17 |
| 2018 August | 1 | 0 | 1 |
| 2018 July | 2 | 4 | 6 |
| 2018 June | 5 | 0 | 5 |
| 2018 May | 6 | 3 | 9 |
| 2018 April | 14 | 0 | 14 |
| 2018 March | 5 | 2 | 7 |
| 2018 February | 3 | 0 | 3 |
| 2018 January | 7 | 0 | 7 |
| 2017 December | 8 | 0 | 8 |
| 2017 November | 15 | 4 | 19 |
| 2017 October | 11 | 1 | 12 |
| 2017 September | 14 | 1 | 15 |
| 2017 August | 7 | 1 | 8 |
| 2017 July | 9 | 6 | 15 |
| 2017 June | 15 | 3 | 18 |
| 2017 May | 23 | 3 | 26 |
| 2017 April | 14 | 3 | 17 |
| 2017 March | 13 | 38 | 51 |
| 2017 February | 20 | 4 | 24 |
| 2017 January | 11 | 3 | 14 |
| 2016 December | 17 | 10 | 27 |
| 2016 November | 24 | 5 | 29 |
| 2016 October | 21 | 6 | 27 |
| 2016 September | 22 | 1 | 23 |
| 2016 August | 24 | 2 | 26 |
| 2016 July | 23 | 6 | 29 |
| 2016 June | 28 | 7 | 35 |
| 2016 May | 20 | 6 | 26 |
| 2016 April | 22 | 11 | 33 |
| 2016 March | 17 | 12 | 29 |
| 2016 February | 15 | 15 | 30 |
| 2016 January | 21 | 17 | 38 |
| 2015 December | 15 | 14 | 29 |
| 2015 November | 19 | 9 | 28 |
| 2015 October | 18 | 15 | 33 |
| 2015 September | 25 | 11 | 36 |
| 2015 August | 12 | 4 | 16 |
| 2015 July | 9 | 4 | 13 |
| 2015 June | 9 | 3 | 12 |
| 2015 May | 14 | 6 | 20 |
| 2015 April | 20 | 18 | 38 |
| 2015 March | 12 | 11 | 23 |
| 2015 February | 25 | 10 | 35 |
| 2015 January | 25 | 12 | 37 |
Show all