nii_newsrelease_20211020_en_image2 (IMAGE)

Research Organization of Information and Systems

nii_newsrelease_20211020_en_image2

Caption

Fig. 2: When provided with multiple formal specifications, the conventional hybrid falsification method has a so-called masking problem whereby it hides information about the degree to which these specifications are violated (left). On the other hand, since the proposed method uses multiple objective functions, it enables a balanced assessment of each violation (right).

Credit

© National Institute of Informatics

Usage Restrictions

Credit required, Only for use with reports of this news

License

Original content

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.