software static analysis tool used for safety critical applications
програмне забезпечення
Software
MALPAS Software Static Analysis Toolset
perangkat lunak Atkins