Alt-Ergo (Q19599372)
Jump to navigation
Jump to search
SMT solver for software verification
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Alt-Ergo |
SMT solver for software verification |
Statements
2.3.2
24 March 2020
1 reference
31 March 2021
Release 2.3.2 (English)
24 March 2020
2.3.3
19 August 2020
1 reference
31 March 2021
Release 2.3.3 (English)
19 August 2020
2.4.0
27 January 2021
1 reference
31 March 2021
Release 2.4.0 (English)
27 January 2021
2.4.1
27 July 2021
1 reference
1 August 2021
Release 2.4.1 (English)
27 July 2021
2.4.2
2 August 2022
1 reference
2 October 2022
Release 2.4.2 (English)
2 August 2022
2.4.3
20 April 2023
1 reference
26 April 2023
Release 2.4.3 (English)
20 April 2023
2.5.0
6 September 2023
1 reference
18 September 2023
Release 2.5.0 (English)
6 September 2023
2.5.1
14 September 2023
1 reference
18 September 2023
Release 2.5.1 (English)
14 September 2023
2.5.2
18 October 2023
1 reference
19 October 2023
Release 2.5.2 (English)
18 October 2023
2.5.3
20 March 2024
1 reference
19 April 2024
Release 2.5.3 (English)
20 March 2024
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Alt-Ergo