1 files changed, 154 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/v3_slide0028.htm b/books/workshops/2000/shumsky/slides2_files/v3_slide0028.htm
new file mode 100644
index 0000000..e4b5f07
--- /dev/null
+++ b/books/workshops/2000/shumsky/slides2_files/v3_slide0028.htm
@@ -0,0 +1,154 @@
+<html>
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
+<meta name=ProgId content=PowerPoint.Slide>
+<meta name=Generator content="Microsoft PowerPoint 9">
+<link id=Main-File rel=Main-File href="../slides2.htm">
+<link rel=Preview href=preview.wmf>
+<!--[if !mso]>
+<style>
+v\:* {behavior:url(#default#VML);}
+o\:* {behavior:url(#default#VML);}
+p\:* {behavior:url(#default#VML);}
+.shape {behavior:url(#default#VML);}
+v\:textbox {display:none;}
+</style>
+<![endif]-->
+<title>Developing a Framework for Simulation, Verification and Testing of SDL
+Specifications</title>
+<meta name=Description content="3-Nov-00: Translator Correctness">
+<link rel=next href="v3_slide0009.htm">
+<![if !ppt]>
+<script>
+<!--
+function Update()
+{
+  if( window.name == "PPTSld" )
+    parent.SlideUpdated('v3_slide0028.htm');   
+  else
+    parent.location.href = "v3_document.htm";
+}
+
+function NoHref() {}
+//-->
+</script>
+<![endif]>
+</head>
+
+<body bgcolor=white alink="#3333cc" link="#ccccff" vlink="#b2b2b2" text=black
+topmargin=0 leftmargin=0 onload="Update()">
+
+<table border=0 valign=top width=475 height=356 cellpadding=0 cellspacing=0>
+ <tr>
+  <td width=23 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=55 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=318 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=40 height=0 nowrap><img src="v3_space.gif" border=0></td>
+  <td width=7 height=0 nowrap><img src="v3_space.gif" border=0></td>
+ </tr>
+ <tr>
+  <td width=475 height=13 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=79 height=36 colspan=3></td>
+  <td width=318 height=36>
+  <table border=0 valign=top cellpadding=0 cellspacing=0>
+   <tr>
+    <td width=318 height=36 align=center><font face=Tahoma color="#cc0000"
+    size=5>Translator Correctness</font><br>
+    </td>
+   </tr>
+  </table>
+  </td>
+  <td width=78 height=36 colspan=3></td>
+ </tr>
+ <tr>
+  <td width=475 height=14 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=23 height=143></td>
+  <td width=414 height=143 colspan=4>
+  <table border=0 valign=top cellpadding=0 cellspacing=0>
+   <tr>
+    <td width=16 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=1 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=2 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=247 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=4 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=16 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=98 height=0 nowrap><img src="v3_space.gif" border=0></td>
+    <td width=15 height=0 nowrap><img src="v3_space.gif" border=0></td>
+   </tr>
+   <tr>
+    <td width=17 height=23 colspan=2><font face=Tahoma color="#3333cc" size=3>•</font></td>
+    <td width=382 height=23 colspan=6><font face=Tahoma color="#3333cc" size=3>Defined
+    an inverse function untranslate, and</font><br>
+    </td>
+    <td width=14 height=23></td>
+   </tr>
+   <tr>
+    <td width=17 height=23 colspan=2></td>
+    <td width=367 height=23 colspan=5><font face=Tahoma color="#3333cc" size=3>prove
+    that no information is lost w.r.t. to a</font><br>
+    </td>
+    <td width=29 height=23 colspan=2></td>
+   </tr>
+   <tr>
+    <td width=17 height=22 colspan=2></td>
+    <td width=269 height=22 colspan=4><font face=Tahoma color="#3333cc" size=3>specialized
+    equivalence relation</font><br>
+    </td>
+    <td width=127 height=22 colspan=3></td>
+   </tr>
+   <tr>
+    <td width=413 height=3 colspan=9></td>
+   </tr>
+   <tr>
+    <td width=16 height=19></td>
+    <td width=397 height=19 colspan=8 align=center><font face="Courier New"
+    color="#5f5f5f" size=2><b>(equal* (untranslate (translate S)) S)</b></font><br>
+    </td>
+   </tr>
+   <tr>
+    <td width=413 height=4 colspan=9></td>
+   </tr>
+   <tr>
+    <td width=17 height=23 colspan=2><font face=Tahoma color="#3333cc" size=3>•</font></td>
+    <td width=249 height=23 colspan=2><font face=Tahoma color="#3333cc" size=3>Trivial
+    for process translation</font><br>
+    </td>
+    <td width=147 height=23 colspan=5></td>
+   </tr>
+   <tr>
+    <td width=413 height=4 colspan=9></td>
+   </tr>
+   <tr>
+    <td width=17 height=23 colspan=2><font face=Tahoma color="#3333cc" size=3>•</font></td>
+    <td width=253 height=23 colspan=3><font face=Tahoma color="#3333cc" size=3>Tricky
+    for network translation</font><br>
+    </td>
+    <td width=143 height=23 colspan=4></td>
+   </tr>
+  </table>
+  </td>
+  <td width=38 height=143 colspan=2></td>
+ </tr>
+ <tr>
+  <td width=475 height=13 colspan=7></td>
+ </tr>
+ <tr>
+  <td width=24 height=126 colspan=2></td>
+  <td width=420 height=126 colspan=4><img src="v3_slide0028_image006.gif"
+  border=0 width=420 height=126></td>
+  <td width=31 height=126></td>
+ </tr>
+ <tr>
+  <td width=475 height=11 colspan=7></td>
+ </tr>
+</table>
+
+</body>
+
+</html>