OWF13 - Catalyzing the discovery, analysis and adoption of OSS community-based innovation
Rencontres Inria Industrie - Qualité logicielle - OWF13
-
Upload
inria -
Category
Technology
-
view
595 -
download
1
description
Transcript of Rencontres Inria Industrie - Qualité logicielle - OWF13
![Page 1: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/1.jpg)
![Page 2: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/2.jpg)
![Page 3: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/3.jpg)
![Page 4: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/4.jpg)
![Page 5: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/5.jpg)
![Page 6: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/6.jpg)
![Page 7: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/7.jpg)
![Page 8: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/8.jpg)
![Page 9: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/9.jpg)
![Page 10: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/10.jpg)
![Page 11: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/11.jpg)
![Page 12: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/12.jpg)
![Page 13: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/13.jpg)
![Page 14: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/14.jpg)
![Page 15: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/15.jpg)
![Page 16: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/16.jpg)
![Page 17: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/17.jpg)
![Page 18: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/18.jpg)
![Page 19: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/19.jpg)
![Page 20: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/20.jpg)
![Page 21: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/21.jpg)
![Page 22: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/22.jpg)
![Page 23: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/23.jpg)
![Page 24: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/24.jpg)
![Page 25: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/25.jpg)
![Page 26: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/26.jpg)
![Page 27: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/27.jpg)
![Page 28: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/28.jpg)
Coccinelle
Coccinelle is a tool for code search and transformation for C programs. It has been extensively used for bug finding and evolutions in Linux kernel code.
Innovative aspects: Ease of writing specifications, in terms of C-code based patterns. Scales to millions of lines of code.
Language, environment: Linux, Windows, Mac. Distributed with Ubuntu, Debian, Fedora, etc.
Keywords : code quality, evolution, infrastructure software
License : GPLv2
Main fields of application: Large-scale software development. Bug finding, software evolution, code renovation, code metrics, software understanding.
http://coccinelle.lip6.fr
Academic partners :
Contact: [email protected]
@@
expression E;
constant C;
@@
– !E & C
+ !(E & C)
![Page 29: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/29.jpg)
![Page 30: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/30.jpg)
![Page 31: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/31.jpg)
![Page 32: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/32.jpg)
![Page 33: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/33.jpg)
![Page 34: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/34.jpg)
![Page 35: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/35.jpg)
![Page 36: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/36.jpg)
![Page 37: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/37.jpg)
![Page 38: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/38.jpg)
![Page 39: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/39.jpg)
![Page 40: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/40.jpg)
![Page 41: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/41.jpg)
![Page 42: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/42.jpg)
![Page 43: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/43.jpg)
Innovative aspects: Moose accelerates production of software analyses by providing expandable models and reusable libraries. Several models are offered for static or dynamic analysis of programmes, development logs, procedural code or aspect.
Smalltalk (open-source Pharo) Windows, Linux, Mac
Main fields of application: Retro-engineering, Meta-modelling, Software visualisation
License: BSD licence
http://www.moosetechnology.org
Academic partners:
Moose is an extensive platform for software and data analysis. It offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools.
Contact: [email protected]
![Page 44: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/44.jpg)
![Page 45: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/45.jpg)
![Page 46: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/46.jpg)
![Page 47: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/47.jpg)
![Page 48: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/48.jpg)
![Page 49: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/49.jpg)
![Page 50: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/50.jpg)
![Page 51: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/51.jpg)
![Page 52: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/52.jpg)
![Page 53: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/53.jpg)
![Page 54: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/54.jpg)
![Page 55: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/55.jpg)
![Page 56: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/56.jpg)
![Page 57: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/57.jpg)
![Page 58: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/58.jpg)
![Page 59: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/59.jpg)
![Page 60: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/60.jpg)
![Page 61: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/61.jpg)
![Page 62: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/62.jpg)
![Page 63: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/63.jpg)
![Page 64: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/64.jpg)
![Page 65: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/65.jpg)
![Page 66: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/66.jpg)
![Page 67: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/67.jpg)
![Page 68: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/68.jpg)
![Page 69: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/69.jpg)
![Page 70: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/70.jpg)
![Page 71: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/71.jpg)
![Page 72: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/72.jpg)
![Page 73: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/73.jpg)
![Page 74: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/74.jpg)
![Page 75: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/75.jpg)
![Page 76: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/76.jpg)
![Page 77: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/77.jpg)
![Page 78: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/78.jpg)
![Page 79: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/79.jpg)
![Page 80: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/80.jpg)
![Page 81: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/81.jpg)
![Page 82: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/82.jpg)
![Page 83: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/83.jpg)
![Page 84: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/84.jpg)
VeriT is an open, trustable and efficient SMT (Satisfiability Modulo Theories) solver, featuring efficient decision procedure for uninterpreted symbols and linear arithmetic.
Contact: [email protected]
http://www.verit-solver.org/
Innovative aspects: : proof-producing solver for quantified and quantifier-free formulas with uninterpreted predicates and functions, and linear arithmetic on integers and reals, and the combination thereof.
Language, environment: C / All platforms Keywords: Automated deduction, Verification, Formula solving
License: BSD
Main fields of application: All domains requiring solving large logic formulas with interpreted predicates (e.g. arithmetic).
Academic partners:
![Page 85: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/85.jpg)
![Page 86: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/86.jpg)
![Page 87: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/87.jpg)
![Page 88: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/88.jpg)
![Page 89: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/89.jpg)
![Page 90: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/90.jpg)
![Page 91: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/91.jpg)
![Page 92: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/92.jpg)
![Page 93: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/93.jpg)
![Page 94: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/94.jpg)
![Page 95: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/95.jpg)
![Page 96: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/96.jpg)
![Page 97: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/97.jpg)
![Page 98: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/98.jpg)
![Page 99: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/99.jpg)
![Page 100: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/100.jpg)
![Page 101: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/101.jpg)
![Page 102: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/102.jpg)
![Page 103: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/103.jpg)
![Page 104: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/104.jpg)
![Page 105: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/105.jpg)
![Page 106: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/106.jpg)
![Page 107: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/107.jpg)
![Page 108: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/108.jpg)
![Page 109: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/109.jpg)
![Page 110: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/110.jpg)
![Page 111: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/111.jpg)
![Page 112: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/112.jpg)
Alt-Ergo
is an automatic solver of
formulas based on SMT technology. It is
especially designed to prove mathematical
formulas generated by program verification
tools, such as Frama-C for C programs, or
SPARK for Ada code. Initially developed in
Toccata research team, Alt-Ergo's distribution
and support are provided by OCamlPro since
September 2013.
Innovative aspects : - Polymorphic language input - Interactive graphical interface - Qualification DO-178 B/C (avionic)
Language, standard, environment : OCaml (Linux, Windows, MacOS)
Keywords: software reliability, formal methods, proof
Licence: CECILL-C
Main fielfs of applications : - Program verification - Formal tests generation - Model checking - Cryptographic protocols verification
http://alt-ergo.lri.fr
Partners :
Toccata &
Contact: [email protected]
Mais users : - Airbus & Atos Origin (projet de l'A350) - AdaCore & Altran (preuve de code Ada) - CEA (preuve de programmes C)
![Page 113: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/113.jpg)
![Page 114: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/114.jpg)
![Page 115: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/115.jpg)
![Page 116: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/116.jpg)
![Page 117: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/117.jpg)
![Page 118: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/118.jpg)
![Page 119: Rencontres Inria Industrie - Qualité logicielle - OWF13](https://reader033.fdocuments.net/reader033/viewer/2022042714/54bde3fe4a7959d8098b4574/html5/thumbnails/119.jpg)