Conditional Quantitative Program Analysis
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2020.3016778
Abstract: Standards for certifying safety-critical systems have evolved to permit the inclusion of evidence generated by program analysis and verification techniques. The past decade has witnessed the development of several program analyses that are capable of… read more here.
Keywords: cqa; mml mml; program analysis; mml ... See more keywords