Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/MALPAS_Software_Static_Analysis_Toolset> ?p ?o }
Showing triples 1 to 75 of
75
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 wikiPageLength "6848".
- MALPAS_Software_Static_Analysis_Toolset wikiPageOutDegree "40".
- MALPAS_Software_Static_Analysis_Toolset wikiPageRevisionID "702638916".
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Ada_(programming_language).
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Atkins_(company).
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink C_(programming_language).
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Category:Formal_methods_tools.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Category:Model_checkers.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Category:Software_testing_tools.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Category:Static_program_analysis_tools.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Category:Theorem_proving_software_systems.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Compiler.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Data-flow_analysis.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Directed_graph.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Formal_proof.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Graph_(discrete_mathematics).
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Health_and_Safety_Executive.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Kleene_algebra.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Life-critical_system.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Lockheed_Martin.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Lockheed_Martin_C-130J_Super_Hercules.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Microsoft_Windows.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Motorola_68000.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink M.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Pascal_(programming_language).
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Postcondition.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink PowerPC.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Precondition.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Proprietary_software.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Royal_Air_Force.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Royal_Signals_and_Radar_Establishment.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Sizewell_nuclear_power_stations.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Static_program_analysis.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Symbolic_execution.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink Temelín_Nuclear_Power_Station.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink X86_assembly_language.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLink ČEZ_Group.
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLinkText "MALPAS Software Static Analysis Toolset".
- MALPAS_Software_Static_Analysis_Toolset wikiPageWikiLinkText "MALPAS".
- 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 website www.malpas-global.com.
- MALPAS_Software_Static_Analysis_Toolset wikiPageUsesTemplate Template:Infobox_software.
- MALPAS_Software_Static_Analysis_Toolset wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Toolset.
- MALPAS_Software_Static_Analysis_Toolset type Software.
- MALPAS_Software_Static_Analysis_Toolset type Work.
- MALPAS_Software_Static_Analysis_Toolset type Method.
- MALPAS_Software_Static_Analysis_Toolset type Tool.
- 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 Q6714257.
- MALPAS_Software_Static_Analysis_Toolset sameAs m.0gjc7sr.
- MALPAS_Software_Static_Analysis_Toolset sameAs Q6714257.
- MALPAS_Software_Static_Analysis_Toolset wasDerivedFrom MALPAS_Software_Static_Analysis_Toolset?oldid=702638916.
- MALPAS_Software_Static_Analysis_Toolset homepage www.malpas-global.com.
- MALPAS_Software_Static_Analysis_Toolset isPrimaryTopicOf MALPAS_Software_Static_Analysis_Toolset.