covid
Buscar en
Ingeniería, Investigación y Tecnología
Toda la web
Inicio Ingeniería, Investigación y Tecnología State of the Art in the Research of Formal Verification
Journal Information

Statistics

Follow this link to access the full text of the article

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
3284
Times
was read the article
1106
Total PDF
2178
Total HTML
Share statistics
Article information
ISSN: 14057743
Original language: English
The statistics are updated each day
Year/Month Html Pdf Total
2024 November 35 15 50
2024 October 44 16 60
2024 September 42 31 73
2024 August 48 19 67
2024 July 28 13 41
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

Follow this link to access the full text of the article