• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: MALPAS Software Static Analysis Toolset     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalMethodsTools, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingsoftwareschema:CreativeWorkworkwikidata:Q386724Softwareyago:WikicatStaticProgramAnalysisToolsyago:Artifact100021939yago:Implement103563967yago:Instrumentality103575240yago:Object100002684yago:PhysicalEntity100001930yago:Tool104451818yago:Whole100003553yago:WikicatFormalMethodsTools New Facet based on Instances of this Class

MALPAS is a software toolset that provides a means of investigating and proving the correctness of software by applying a rigorous form of static program analysis. The tool uses directed graphs and regular algebra to represent the program under analysis. Using the automated tools in MALPAS an analyst can describe the structure of a program, classify the use made of data and provide the information relationships between input and output data. It also supports a formal proof that the code meets its specification.