Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International