1 files changed, 110 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/slide0017.htm b/books/workshops/2000/shumsky/slides2_files/slide0017.htm
new file mode 100644
index 0000000..dcd0437
--- /dev/null
+++ b/books/workshops/2000/shumsky/slides2_files/slide0017.htm
@@ -0,0 +1,110 @@
+<html xmlns:v="urn:schemas-microsoft-com:vml"
+xmlns:o="urn:schemas-microsoft-com:office:office"
+xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
+xmlns="http://www.w3.org/TR/REC-html40">
+
+<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: Summary">
+<link rel=Stylesheet href="master03_stylesheet.css">
+<![if !ppt]>
+<style media=print>
+<!--.sld
+	{left:0px !important;
+	width:6.0in !important;
+	height:4.5in !important;
+	font-size:107% !important;}
+-->
+</style>
+<script src=script.js></script><script><!--
+gId="slide0017.htm"
+if( !IsNts() ) Redirect( "PPTSld", gId );
+//-->
+</script><!--[if vml]><script>g_vml = 1;
+</script><![endif]--><script for=window event=onload><!--
+if( !IsSldOrNts() ) return;
+if( MakeNotesVis() ) return;
+LoadSld( gId );
+MakeSldVis(0);
+//-->
+</script><![endif]><o:shapelayout v:ext="edit">
+ <o:idmap v:ext="edit" data="18"/>
+</o:shapelayout>
+</head>
+
+<body lang=EN-US style='margin:0px;background-color:white'
+onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
+
+<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
+width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
+visibility:hidden'><p:slide coordsize="720,540"
+ colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
+ masterhref="master03.xml">
+ <p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
+  href="master03.xml#_x0000_s1028"/><p:shaperange
+  href="master03.xml#_x0000_s1029"/><![endif]><p:shaperange
+  href="master03.xml#_x0000_m1026"/><v:shape id="_x0000_s18434" type="#_x0000_m1026"
+  style='position:absolute;left:54pt;top:52pt;width:612pt;height:60pt'>
+  <v:fill o:detectmouseclick="f"/>
+  <v:stroke o:forcedash="f"/>
+  <o:lock v:ext="edit" text="f"/>
+  <v:textbox style='mso-fit-shape-to-text:t'/>
+  <p:placeholder type="title"/></v:shape><p:shaperange
+  href="master03.xml#_x0000_m1027"/><v:shape id="_x0000_s18435" type="#_x0000_m1027"
+  style='position:absolute;left:54pt;top:164pt;width:612pt;height:324pt'>
+  <v:fill o:detectmouseclick="f"/>
+  <v:stroke o:forcedash="f"/>
+  <o:lock v:ext="edit" text="f"/>
+  <p:placeholder type="body" position="1"/></v:shape>
+ <div v:shape="_x0000_s18434" class=T style='position:absolute;top:10.25%;
+ left:8.42%;width:83.14%;height:10.0%'>Summary</div>
+ <div v:shape="_x0000_s18435" class=B>
+ <div style='mso-line-spacing:"90 20 0"'><span style='position:absolute;
+ top:30.5%;left:12.17%;width:79.77%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-4.69%'>•</span></span><span
+ style='font-size:88%'>We are developing a simulator for SDL </span></span><span
+ style='position:absolute;top:36.0%;left:12.17%;width:79.4%'><span
+ style='font-size:88%'>specifications&#13;</span></span></div>
+ <div style='mso-line-spacing:"90 20 0"'><span style='position:absolute;
+ top:43.0%;left:12.17%;width:91.57%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-4.08%'>•</span></span><span
+ style='font-size:88%'>We are using ACL2 for the development and </span></span><span
+ style='position:absolute;top:48.5%;left:12.17%;width:79.4%'><span
+ style='font-size:88%'>verification of the simulator&#13;</span></span></div>
+ <div style='mso-line-spacing:"90 20 0"'><span style='position:absolute;
+ top:55.5%;left:12.17%;width:79.58%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-4.7%'>•</span></span><span
+ style='font-size:88%'>The goal is to provide a framework for </span></span><span
+ style='position:absolute;top:61.0%;left:12.17%;width:82.77%'><span
+ style='font-size:88%'>verification of SDL specifications using a </span></span><span
+ style='position:absolute;top:66.5%;left:12.17%;width:79.4%'><span
+ style='font-size:88%'>theorem prover&#13;</span></span></div>
+ <div style='mso-line-spacing:"90 20 0"'><span style='position:absolute;
+ top:73.5%;left:12.17%;width:79.4%'><span style='font-size:88%'><span
+ style='mso-special-format:bullet;position:absolute;left:-4.71%'>•</span></span><span
+ style='font-size:88%'>The simulator also helps in testing of </span></span><span
+ style='position:absolute;top:79.0%;left:12.17%;width:86.89%'><span
+ style='font-size:88%'>implementations: acts as a test driver and </span></span><span
+ style='position:absolute;top:84.75%;left:12.17%;width:94.19%'><span
+ style='font-size:88%'>helps compute expected results for test cases</span></span></div>
+ </div>
+</p:slide></div>
+
+</body>
+
+</html>