ECLAIR

http://dbpedia.org/resource/ECLAIR an entity of type: Thing

ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs. rdf:langString
rdf:langString ECLAIR
rdf:langString ECLAIR
rdf:langString ECLAIR
xsd:integer 37619482
xsd:integer 1080280417
rdf:langString BUGSENG, LLC
xsd:date 2022-02-28
xsd:double 3.12
rdf:langString ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and C++ programs.
xsd:nonNegativeInteger 4353
xsd:date 2022-02-28
xsd:string 3.12.0
owl:Thing
dbpedia-owl:Software
schema-org:CreativeWork
dbpedia-owl:Work
<http://www.wikidata.org/entity/Q386724>
<http://www.wikidata.org/entity/Q7397>
<https://www.bugseng.com/eclair>
dbpedia:Category:Static_program_analysis_tools
dbpedia:Category:Software_testing_tools
dbpedia:MISRA_C
dbpedia:University_of_Parma
dbpedia:Proprietary_software
dbpedia:Category:Static_program_analysis_tools
dbpedia:Cross-platform
dbpedia:Run_time_(program_lifecycle_phase)
dbpedia:Model_checking
dbpedia:NASA
dbpedia:Constraint_satisfaction
dbpedia:C++
dbpedia:Joint_Strike_Fighter_program
dbpedia:ESA
dbpedia:Formal_methods
dbpedia:Source_code
dbpedia:JPL
dbpedia:Category:Software_testing_tools
dbpedia:Abstract_interpretation
dbpedia:C_programming_language
dbpedia:Static_code_analysis
dbpedia:List_of_tools_for_static_code_analysis
<http://bugseng.com/products/eclair>
<https://www.bugseng.com/eclair>
<http://rdf.freebase.com/ns/m.0pcm784>
<http://www.wikidata.org/entity/Q5322687>
<https://global.dbpedia.org/id/4iYYe>
dbpedia:Template:About
dbpedia:Template:Infobox_Software
dbpedia:Template:Refimprove
dbpedia:Template:Reflist
dbpedia:Template:Short_description
dbpedia:Template:Start_date_and_age
dbpedia:Static_code_analysis
dbpedia:Proprietary_software
dbpedia:Cross-platform
<https://www.bugseng.com/eclair>
dbpedia:Tool
<http://en.wikipedia.org/wiki/ECLAIR?oldid=1080280417&ns=0>
dbpedia:Static_code_analysis
dbpedia:Proprietary_software
<http://en.wikipedia.org/wiki/ECLAIR>

data from the linked data cloud