MALPAS Software Static Analysis Toolset
id:
malpas-software-static-analysis-toolset-202-3567477
title:
MALPAS Software Static Analysis Toolset
text:
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 it
brand slug:
wiki
category slug:
encyclopedia
description:
Software static analysis tool used for safety critical applications
original url:
https://en.wikipedia.org/wiki/MALPAS_Software_Static_Analysis_Toolset
date created:
date modified:
2023-07-16T11:53:12Z
main entity:
{"identifier":"Q6714257","url":"https://www.wikidata.org/entity/Q6714257"}
image:
fields total:
13
integrity:
14