Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/MALPAS_Software_Static_Analysis_Toolset> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- MALPAS_Software_Static_Analysis_Toolset abstract "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. MALPAS has been used to confirm the correctness of safety critical applications in the nuclear, aerospace and defence industries. It has also been used to provide compiler validation in the nuclear industry on Sizewell B. Languages that have been analysed include: Ada, C, PLM and Intel Assembler.MALPAS is well suited to the independent static analysis required by the UK's Health and Safety Executive guidance for computer based protection systems for nuclear reactors due to its rigour and flexibility in handling many programming languages.".
- MALPAS_Software_Static_Analysis_Toolset developer Atkins_(company).
- MALPAS_Software_Static_Analysis_Toolset genre Static_program_analysis.
- MALPAS_Software_Static_Analysis_Toolset license Proprietary_software.
- MALPAS_Software_Static_Analysis_Toolset operatingSystem Microsoft_Windows.
- MALPAS_Software_Static_Analysis_Toolset wikiPageExternalLink www.malpas-global.com.
- MALPAS_Software_Static_Analysis_Toolset wikiPageID "31220621".
- MALPAS_Software_Static_Analysis_Toolset wikiPageRevisionID "639725526".
- MALPAS_Software_Static_Analysis_Toolset developer Atkins_(company).
- MALPAS_Software_Static_Analysis_Toolset genre Static_program_analysis.
- MALPAS_Software_Static_Analysis_Toolset hasPhotoCollection MALPAS_Software_Static_Analysis_Toolset.
- MALPAS_Software_Static_Analysis_Toolset license Proprietary_software.
- MALPAS_Software_Static_Analysis_Toolset operatingSystem Microsoft_Windows.
- MALPAS_Software_Static_Analysis_Toolset website www.malpas-global.com.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Formal_methods_tools.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Model_checkers.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Software_testing_tools.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Static_program_analysis_tools.
- MALPAS_Software_Static_Analysis_Toolset subject Category:Theorem_proving_software_systems.
- MALPAS_Software_Static_Analysis_Toolset type Artifact100021939.
- MALPAS_Software_Static_Analysis_Toolset type FormalMethodsTools.
- MALPAS_Software_Static_Analysis_Toolset type Implement103563967.
- MALPAS_Software_Static_Analysis_Toolset type Instrumentality103575240.
- MALPAS_Software_Static_Analysis_Toolset type Object100002684.
- MALPAS_Software_Static_Analysis_Toolset type PhysicalEntity100001930.
- MALPAS_Software_Static_Analysis_Toolset type StaticProgramAnalysisTools.
- MALPAS_Software_Static_Analysis_Toolset type Tool104451818.
- MALPAS_Software_Static_Analysis_Toolset type Whole100003553.
- MALPAS_Software_Static_Analysis_Toolset type Software.
- MALPAS_Software_Static_Analysis_Toolset type Work.
- MALPAS_Software_Static_Analysis_Toolset type CreativeWork.
- MALPAS_Software_Static_Analysis_Toolset type Thing.
- MALPAS_Software_Static_Analysis_Toolset type Q386724.
- MALPAS_Software_Static_Analysis_Toolset type Q7397.
- MALPAS_Software_Static_Analysis_Toolset comment "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.".
- MALPAS_Software_Static_Analysis_Toolset label "MALPAS Software Static Analysis Toolset".
- MALPAS_Software_Static_Analysis_Toolset sameAs m.0gjc7sr.
- MALPAS_Software_Static_Analysis_Toolset sameAs Q6714257.
- MALPAS_Software_Static_Analysis_Toolset sameAs Q6714257.
- MALPAS_Software_Static_Analysis_Toolset sameAs MALPAS_Software_Static_Analysis_Toolset.
- MALPAS_Software_Static_Analysis_Toolset wasDerivedFrom MALPAS_Software_Static_Analysis_Toolset?oldid=639725526.
- MALPAS_Software_Static_Analysis_Toolset homepage www.malpas-global.com.
- MALPAS_Software_Static_Analysis_Toolset isPrimaryTopicOf MALPAS_Software_Static_Analysis_Toolset.