diff --git a/requirements.txt b/requirements.txt
index 4fef8f4a24ef29dc9c8288bdc5bc79e64bfd7d48..aaec776d755ecead8fc9fece34f14db592a66615 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -15,3 +15,4 @@ torch
 tqdm
 intervaltree
 Pympler
+ray
\ No newline at end of file
diff --git a/verse/analysis/verifier.py b/verse/analysis/verifier.py
index f19cb6d1b9acf5c891904552962808486d83946b..89f575d772a3de4c667b44ac92c45517db977897 100644
--- a/verse/analysis/verifier.py
+++ b/verse/analysis/verifier.py
@@ -1,8 +1,5 @@
-import functools
-import itertools
-import pprint
+import copy, itertools, functools, pprint, ray
 from typing import List
-import copy
 
 import numpy as np
 
@@ -100,6 +97,25 @@ class Verifier:
                 )
         return res_tube.tolist()
 
+    @ray.remote
+    def compute_full_reachtube_step(
+        self,
+        init_list: List[float],
+        init_mode_list: List[str],
+        static_list: List[str],
+        uncertain_param_list: List[float],
+        agent_list,
+        transition_graph,
+        time_horizon,
+        time_step,
+        lane_map,
+        init_seg_length,
+        reachability_method,
+        run_num,
+        past_runs,
+        params = {},
+    ):
+        return
 
     def compute_full_reachtube(
         self,