Evaluating verification awareness as a method for assessing adaptation risk

Riley, Ian, Sharmin Jahan, Allen Marshall, Charles Walter, and Rose F Gamble. 2021. “Evaluating Verification Awareness As a Method for Assessing Adaptation Risk”. Future Generation Computer Systems 119: 110–135.
Last updated on 07/07/2026