About: MALPAS Software Static Analysis Toolset

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Software static analysis tool used for safety critical applications

Property	Value
dbo:description	Software (de) програмне забезпечення (uk) perangkat lunak Atkins (in) software static analysis tool used for safety critical applications (en)
dbo:developer	dbr:Atkins_(company)
dbo:genre	dbr:Static_program_analysis
dbo:license	dbr:Proprietary_software
dbo:operatingSystem	dbr:Microsoft_Windows
dbo:wikiPageWikiLink	dbr:Proprietary_software dbc:Model_checkers dbc:Formal_methods_tools dbc:Software_testing_tools dbr:Compiler dbr:Royal_Air_Force dbr:X86_assembly_language dbr:Data-flow_analysis dbr:Microsoft_Windows dbr:Directed_graph dbr:PowerPC dbr:Static_program_analysis dbr:Precondition dbr:Health_and_Safety_Executive dbr:Lockheed_Martin dbr:Formal_proof dbr:C_(programming_language) dbc:Theorem_proving_software_systems dbr:Pascal_(programming_language) dbr:Postcondition dbr:Ada_(programming_language) dbr:Atkins_(company) dbr:PL/M dbr:Royal_Signals_and_Radar_Establishment dbc:Static_program_analysis_tools dbr:Symbolic_execution dbr:Regular_algebra dbr:WS_Atkins dbr:68000 dbr:C130J dbr:CEZ_Group dbr:Temelin_Nuclear_Power_Station dbr:Safety_critical dbr:Sizewell_B
dbp:developer	dbr:Atkins_(company)
dbp:genre	dbr:Static_program_analysis
dbp:license	dbr:Proprietary_software
dbp:operatingSystem	dbr:Microsoft_Windows
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:URL dbt:Infobox_software dbt:Short_description
dct:subject	dbc:Model_checkers dbc:Formal_methods_tools dbc:Software_testing_tools dbc:Theorem_proving_software_systems dbc:Static_program_analysis_tools
gold:hypernym	dbr:Toolset
rdf:type	owl:Thing dbo:Software dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	MALPAS Software Static Analysis Toolset (en)
owl:sameAs	freebase:MALPAS Software Static Analysis Toolset yago-res:MALPAS Software Static Analysis Toolset wikidata:MALPAS Software Static Analysis Toolset dbpedia-global:MALPAS Software Static Analysis Toolset dbr:MALPAS Software Static Analysis Toolset
prov:wasDerivedFrom	wikipedia-en:MALPAS_Software_Static_Analysis_Toolset?oldid=1165630480&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:MALPAS_Software_Static_Analysis_Toolset
is dbo:wikiPageDisambiguates of	dbr:Malpas
is dbo:wikiPageWikiLink of	dbr:Formal_methods dbr:List_of_tools_for_static_code_analysis dbr:Malpas
is foaf:primaryTopic of	wikipedia-en:MALPAS_Software_Static_Analysis_Toolset