SOFMAT

software for prediction of reliability of operation of another software; software tools for evaluating the reliability of application software, of configuration software and of data processing systems