diff --git a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
index 296dd2ceb..4a94a9ad0 100644
--- a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
+++ b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
@@ -276,6 +276,9 @@ namespace storm {
 
                     bool cancelGuess = false;
                     while (status == SolverStatus::InProgress && overallIterations < maxOverallIterations) {
+                        if (storm::utility::resources::isTerminate()) {
+                            status = SolverStatus::Aborted;
+                        }
                         ++overallIterations;
                         ++currentVerificationIterations;
                         // Perform value iteration stepwise for lower bound and guessed upper bound