diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
index 17a72202d..36affb405 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
@@ -4028,7 +4028,7 @@
                   <node concept="2Ry0Ak" id="IiE7lRnYjt" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="IiE7lRnYju" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-tree-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-tree-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -4066,7 +4066,7 @@
                   <node concept="2Ry0Ak" id="IiE7lRnYjV" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="IiE7lRnYjW" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -4085,7 +4085,7 @@
                   <node concept="2Ry0Ak" id="IiE7lRnYka" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="IiE7lRnYkb" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-analysis-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-analysis-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -4104,7 +4104,7 @@
                   <node concept="2Ry0Ak" id="IiE7lRnYkp" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="IiE7lRnYkq" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-util-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-util-9.2.jar" />
                     </node>
                   </node>
                 </node>
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd
index 026d9d6f0..ac0a461b6 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/com.mbeddr.formal.nusmv.importer.rt.msd
@@ -5,22 +5,22 @@
       <sourceRoot location="models" />
     </modelRoot>
     <modelRoot type="java_classes" contentPath="${module}/lib">
-      <sourceRoot location="asm-tree-7.0.jar" />
+      <sourceRoot location="asm-tree-9.2.jar" />
       <sourceRoot location="parboiled-java-1.4.1.jar" />
-      <sourceRoot location="asm-7.0.jar" />
-      <sourceRoot location="asm-analysis-7.0.jar" />
-      <sourceRoot location="asm-util-7.0.jar" />
+      <sourceRoot location="asm-9.2.jar" />
+      <sourceRoot location="asm-analysis-9.2.jar" />
+      <sourceRoot location="asm-util-9.2.jar" />
       <sourceRoot location="parboiled-core-1.4.1.jar" />
     </modelRoot>
   </models>
   <facets>
     <facet type="java" compile="mps" classes="mps" ext="yes">
       <classes generated="true" path="${module}/classes_gen" />
-      <library location="${module}/lib/asm-tree-7.0.jar" />
+      <library location="${module}/lib/asm-tree-9.2.jar" />
       <library location="${module}/lib/parboiled-java-1.4.1.jar" />
-      <library location="${module}/lib/asm-7.0.jar" />
-      <library location="${module}/lib/asm-analysis-7.0.jar" />
-      <library location="${module}/lib/asm-util-7.0.jar" />
+      <library location="${module}/lib/asm-9.2.jar" />
+      <library location="${module}/lib/asm-analysis-9.2.jar" />
+      <library location="${module}/lib/asm-util-9.2.jar" />
       <library location="${module}/lib/parboiled-core-1.4.1.jar" />
     </facet>
   </facets>
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-7.0.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-7.0.jar
deleted file mode 100644
index 2cf38f461..000000000
Binary files a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-7.0.jar and /dev/null differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-9.2.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-9.2.jar
new file mode 100644
index 000000000..3557ae414
Binary files /dev/null and b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-9.2.jar differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-7.0.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-7.0.jar
deleted file mode 100644
index 341d0c5dc..000000000
Binary files a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-7.0.jar and /dev/null differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-9.2.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-9.2.jar
new file mode 100644
index 000000000..9d575ca1c
Binary files /dev/null and b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-analysis-9.2.jar differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-7.0.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-7.0.jar
deleted file mode 100644
index 243c3cbf2..000000000
Binary files a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-7.0.jar and /dev/null differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-9.2.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-9.2.jar
new file mode 100644
index 000000000..0a6833a68
Binary files /dev/null and b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-tree-9.2.jar differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-7.0.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-7.0.jar
deleted file mode 100644
index 47717e5d1..000000000
Binary files a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-7.0.jar and /dev/null differ
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-9.2.jar b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-9.2.jar
new file mode 100644
index 000000000..3afe6e699
Binary files /dev/null and b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.importer.rt/lib/asm-util-9.2.jar differ
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
index 0d4fdf384..c0b555e2a 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps
@@ -7135,7 +7135,7 @@
                   <node concept="2Ry0Ak" id="3mI4G9o66hf" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="3mI4G9o66hg" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-tree-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-tree-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -7173,7 +7173,7 @@
                   <node concept="2Ry0Ak" id="3mI4G9o66hH" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="3mI4G9o66hI" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -7192,7 +7192,7 @@
                   <node concept="2Ry0Ak" id="3mI4G9o66hW" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="3mI4G9o66hX" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-analysis-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-analysis-9.2.jar" />
                     </node>
                   </node>
                 </node>
@@ -7211,7 +7211,7 @@
                   <node concept="2Ry0Ak" id="3mI4G9o66ib" role="2Ry0An">
                     <property role="2Ry0Am" value="lib" />
                     <node concept="2Ry0Ak" id="3mI4G9o66ic" role="2Ry0An">
-                      <property role="2Ry0Am" value="asm-util-7.0.jar" />
+                      <property role="2Ry0Am" value="asm-util-9.2.jar" />
                     </node>
                   </node>
                 </node>