diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml
index f967ec4ba..fc3043c0e 100644
--- a/infer/src/nullsafe/modelTables.ml
+++ b/infer/src/nullsafe/modelTables.ml
@@ -85,6 +85,13 @@ let check_not_null_parameter_list, check_not_null_list =
     ; ( 1
       , (o, [x])
       , "com.google.common.base.Preconditions.checkNotNull(java.lang.Object):java.lang.Object" )
+    ; ( 1
+      , (o, [x])
+      , "com.google.common.base.Verify.verifyNotNull(java.lang.Object):java.lang.Object" )
+    ; ( 1
+      , (o, [x; n; n])
+      , "com.google.common.base.Verify.verifyNotNull(java.lang.Object,java.lang.String,java.lang.Object[]):java.lang.Object"
+      )
     ; (1, (o, [x]), "org.junit.Assert.assertNotNull(java.lang.Object):void")
     ; (2, (o, [n; x]), "org.junit.Assert.assertNotNull(java.lang.String,java.lang.Object):void")
     ; ( 1