Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q6714257> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Q6714257 subject Q11705815.
- Q6714257 subject Q8466131.
- Q6714257 subject Q8759230.
- Q6714257 subject Q8816922.
- Q6714257 subject Q8851959.
- Q6714257 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.".
- Q6714257 developer Q1510450.
- Q6714257 genre Q1329550.
- Q6714257 license Q218616.
- Q6714257 operatingSystem Q1406.
- Q6714257 wikiPageExternalLink www.malpas-global.com.
- Q6714257 wikiPageWikiLink Q1137726.
- Q6714257 wikiPageWikiLink Q11705815.
- Q6714257 wikiPageWikiLink Q1172416.
- Q6714257 wikiPageWikiLink Q1187536.
- Q6714257 wikiPageWikiLink Q1329550.
- Q6714257 wikiPageWikiLink Q1406.
- Q6714257 wikiPageWikiLink Q1413450.
- Q6714257 wikiPageWikiLink Q141488.
- Q6714257 wikiPageWikiLink Q1466283.
- Q6714257 wikiPageWikiLink Q1478750.
- Q6714257 wikiPageWikiLink Q1502091.
- Q6714257 wikiPageWikiLink Q1510450.
- Q6714257 wikiPageWikiLink Q154755.
- Q6714257 wikiPageWikiLink Q15777.
- Q6714257 wikiPageWikiLink Q165862.
- Q6714257 wikiPageWikiLink Q1996307.
- Q6714257 wikiPageWikiLink Q209860.
- Q6714257 wikiPageWikiLink Q2160963.
- Q6714257 wikiPageWikiLink Q218616.
- Q6714257 wikiPageWikiLink Q2634506.
- Q6714257 wikiPageWikiLink Q2762418.
- Q6714257 wikiPageWikiLink Q297868.
- Q6714257 wikiPageWikiLink Q336735.
- Q6714257 wikiPageWikiLink Q360690.
- Q6714257 wikiPageWikiLink Q47506.
- Q6714257 wikiPageWikiLink Q667808.
- Q6714257 wikiPageWikiLink Q7240.
- Q6714257 wikiPageWikiLink Q7374829.
- Q6714257 wikiPageWikiLink Q7661178.
- Q6714257 wikiPageWikiLink Q81571.
- Q6714257 wikiPageWikiLink Q8466131.
- Q6714257 wikiPageWikiLink Q8759230.
- Q6714257 wikiPageWikiLink Q8816922.
- Q6714257 wikiPageWikiLink Q8851959.
- Q6714257 developer Q1510450.
- Q6714257 genre Q1329550.
- Q6714257 license Q218616.
- Q6714257 operatingSystem Q1406.
- Q6714257 website www.malpas-global.com.
- Q6714257 type CreativeWork.
- Q6714257 type Software.
- Q6714257 type Work.
- Q6714257 type Thing.
- Q6714257 type Q386724.
- Q6714257 type Q7397.
- Q6714257 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.".
- Q6714257 label "MALPAS Software Static Analysis Toolset".
- Q6714257 homepage www.malpas-global.com.