Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Astrée_(static_analysis)> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- Astrée_(static_analysis) abstract "Astrée is a static analyzer based on abstract interpretation. It analyzes programs written in the C programming language and outputs an exhaustive list of possible runtime errors and assertion violations.The tool is tailored towards safety-critical embedded code: source programs are assumed not to contain dynamic allocation (malloc); specific analysis techniques are used for common control theory constructs (filters, rate limiters...) and floating-point numbers.Astrée was developed in Patrick Cousot's group at École Normale Supérieure, a joint group with CNRS, and is marketed by AbsInt GmbH. It is used in the Defense/Aerospace, Industrial Control, Electronic, and Automotive industries. One of the main industrial users is Airbus.Astrée is a commercial product available from AbsInt Angewandte Informatik.".
- Astrée_(static_analysis) wikiPageExternalLink 1882362.1882442.
- Astrée_(static_analysis) wikiPageExternalLink 781131.781153.
- Astrée_(static_analysis) wikiPageExternalLink 3-540-36377-7_5.
- Astrée_(static_analysis) wikiPageExternalLink astree.
- Astrée_(static_analysis) wikiPageExternalLink www.astree.ens.fr.
- Astrée_(static_analysis) wikiPageExternalLink .UoI9ueLfmIR.
- Astrée_(static_analysis) wikiPageID "31495748".
- Astrée_(static_analysis) wikiPageLength "3632".
- Astrée_(static_analysis) wikiPageOutDegree "13".
- Astrée_(static_analysis) wikiPageRevisionID "679051496".
- Astrée_(static_analysis) wikiPageWikiLink AbsInt.
- Astrée_(static_analysis) wikiPageWikiLink Abstract_interpretation.
- Astrée_(static_analysis) wikiPageWikiLink Airbus.
- Astrée_(static_analysis) wikiPageWikiLink Assertion_(programming).
- Astrée_(static_analysis) wikiPageWikiLink Assertion_(software_development).
- Astrée_(static_analysis) wikiPageWikiLink CNRS.
- Astrée_(static_analysis) wikiPageWikiLink C_(programming_language).
- Astrée_(static_analysis) wikiPageWikiLink Category:Abstract_interpretation.
- Astrée_(static_analysis) wikiPageWikiLink Category:Static_program_analysis_tools.
- Astrée_(static_analysis) wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Astrée_(static_analysis) wikiPageWikiLink Control_theory.
- Astrée_(static_analysis) wikiPageWikiLink Floating-point.
- Astrée_(static_analysis) wikiPageWikiLink Floating_point.
- Astrée_(static_analysis) wikiPageWikiLink Patrick_Cousot.
- Astrée_(static_analysis) wikiPageWikiLink Static_analysis.
- Astrée_(static_analysis) wikiPageWikiLink École_Normale_Supérieure.
- Astrée_(static_analysis) wikiPageWikiLinkText "Astrée (static analysis)".
- Astrée_(static_analysis) wikiPageWikiLinkText "Astrée run-time error analyzer".
- Astrée_(static_analysis) wikiPageWikiLinkText "Astrée".
- Astrée_(static_analysis) hasPhotoCollection Astrée_(static_analysis).
- Astrée_(static_analysis) wikiPageUsesTemplate Template:Notability.
- Astrée_(static_analysis) wikiPageUsesTemplate Template:Portal.
- Astrée_(static_analysis) wikiPageUsesTemplate Template:Reflist.
- Astrée_(static_analysis) subject Category:Abstract_interpretation.
- Astrée_(static_analysis) subject Category:Static_program_analysis_tools.
- Astrée_(static_analysis) comment "Astrée is a static analyzer based on abstract interpretation.".
- Astrée_(static_analysis) label "Astrée (static analysis)".
- Astrée_(static_analysis) sameAs m.0glp136.
- Astrée_(static_analysis) sameAs Q4811752.
- Astrée_(static_analysis) sameAs Q4811752.
- Astrée_(static_analysis) wasDerivedFrom Astrée_(static_analysis)?oldid=679051496.
- Astrée_(static_analysis) isPrimaryTopicOf Astrée_(static_analysis).