About: Astrée (static analysis)

Property	Value
dbo:author	dbr:Patrick_Cousot
dbo:computingPlatform	dbr:X86-64 dbr:AArch64 dbr:Apple_M2 dbr:Apple_M3
dbo:description	tool for static program analysis (en)
dbo:developer	dbr:French_Institute_for_Research_in_Computer_Science_and_Automation dbr:École_normale_supérieure_(Paris)
dbo:genre	dbr:Static_analysis
dbo:latestReleaseVersion	23.10
dbo:license	dbr:Proprietary_software
dbo:operatingSystem	dbr:Windows_10 dbr:Linux dbr:MacOS
dbo:programmingLanguage	dbr:OCaml
dbo:releaseDate	2002-12-16 (xsd:date)
dbo:wikiPageExternalLink	http://www.absint.com/astree/ http://www.edn-europe.com/en/safety-critical-c-code-checked-by-static-analysis-tool.html%3Fcmp_id=7&news_id=10002342%23.UoI9ueLfmIR http://www.astree.ens.fr
dbo:wikiPageWikiLink	dbr:Mutual_exclusion dbr:Control_theory dbr:ARINC_653 dbr:AUTOSAR dbr:Static_analysis dbr:Abstract_interpretation dbc:Abstract_interpretation dbr:Airbus dbr:Thread_(computing) dbr:List_of_tools_for_static_code_analysis dbr:OSEK dbr:AbsInt dbr:C_(programming_language) dbr:Spinlock dbr:Patrick_Cousot dbr:Taint_checking dbc:Static_program_analysis_tools dbr:Division_by_zero dbr:Vulnerability_(computing) dbr:Multi-core dbr:Spectre_(security_vulnerability) dbr:École_Normale_Supérieure dbr:Null_pointer dbr:CNRS dbr:Buffer_overflows dbr:Finite_state_machines dbr:Data_race dbr:Deadlocks dbr:Dangling_pointers dbr:Floating-point dbr:Digital_filters dbr:Assertion_(programming)
dbp:author	Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Xavier Rival (en)
dbp:developer	dbr:French_Institute_for_Research_in_Computer_Science_and_Automation Laboratoire d'Informatique, École normale supérieure (Paris) (en)
dbp:genre	dbr:Static_analysis
dbp:language	English (en)
dbp:latestReleaseVersion	23.100000 (xsd:double)
dbp:license	dbr:Proprietary_software
dbp:operatingSystem	Windows 10, Linux 64-bit, macOS (en)
dbp:platform	x86-64; AArch64 (en)
dbp:programmingLanguage	dbr:OCaml
dbp:released	2002-12-16 (xsd:date)
dbp:title	Astrée (en)
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:URL dbt:Doi dbt:ISSN dbt:Use_dmy_dates dbt:ISBN dbt:Infobox_software dbt:Official_website dbt:ML_programming
dct:subject	dbc:Abstract_interpretation dbc:Static_program_analysis_tools
gold:hypernym	dbr:Analyzer
rdf:type	owl:Thing dbo:Software dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work dbo:Work schema:CreativeWork
rdfs:label	Astrée (static analysis) (en)
owl:sameAs	freebase:Astrée (static analysis) wikidata:Astrée (static analysis) dbpedia-global:Astrée (static analysis) dbr:Astrée (static analysis)
prov:wasDerivedFrom	wikipedia-en:Astrée_(static_analysis)?oldid=1241387577&ns=0
foaf:homepage	http://www.astree.ens.fr
foaf:isPrimaryTopicOf	wikipedia-en:Astrée_(static_analysis)
is dbo:product of	dbr:AbsInt
is dbo:wikiPageDisambiguates of	dbr:Astrée
is dbo:wikiPageRedirects of	dbr:Astree_(static_analysis)
is dbo:wikiPageWikiLink of	dbr:Fluctuat dbr:List_of_tools_for_static_code_analysis dbr:MISRA_C dbr:AbsInt dbr:Patrick_Cousot dbr:Radhia_Cousot dbr:Astrée dbr:Astree_(static_analysis)
is foaf:primaryTopic of	wikipedia-en:Astrée_(static_analysis)