--- /dev/null
+<?xml version="1.0" encoding="utf-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="111 18 212 194" width="212pt" height="194pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2009-09-06 18:37:27 +0000</dc:date></metadata><defs><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Arrow_Marker" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="blue"><g><path d="M 4.7999992 0 L 0 -1.7999997 L 0 1.7999997 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -2 5 4" markerWidth="5" markerHeight="4" color="red"><g><path d="M 2.4000001 0 L 0 -.90000004 L 0 .90000004 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" viewBox="-4 -2 5 4" markerWidth="5" markerHeight="4" color="red"><g><path d="M -2.4000001 0 L 0 .90000004 L 0 -.90000004 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_3" viewBox="-1 -2 3 4" markerWidth="3" markerHeight="4" color="red"><g><path d="M .96 0 L 0 -.36 L 0 .36 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Arial Unicode MS" font-size="14" panose-1="2 11 6 4 2 2 2 2 2 4" units-per-em="1000" underline-position="-100.097656" underline-thickness="49.804688" slope="0" x-height="529.78516" cap-height="728.02734" ascent="1068.84766" descent="-270.9961" font-weight="500"><font-face-src><font-face-name name="ArialUnicodeMS"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="11" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="10" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Apple Symbols" font-size="13" panose-1="2 0 0 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-73.242188" underline-thickness="48.828125" slope="0" x-height="392.57812" cap-height="546.38672" ascent="666.5039" descent="-250" font-weight="500"><font-face-src><font-face-name name="AppleSymbols"/></font-face-src></font-face><font-face font-family="Zapf Dingbats" font-size="14" panose-1="5 2 1 2 1 7 4 2 6 9" units-per-em="1000" underline-position="-100.097656" underline-thickness="60.058594" slope="0" x-height="542.48047" cap-height="723.14453" ascent="813.96484" descent="-176.75781" font-weight="500"><font-face-src><font-face-name name="ZapfDingbatsITC"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><path d="M 199.037 162.428 C 200.57818 159.34531 201.0281 157.22493 203.661 153.179 C 206.2939 149.13307 210.95072 142.5169 214.836 138.15 C 218.72128 133.7831 225.04836 130.86028 226.975 126.975 C 228.90164 123.08972 229.60801 119.138736 226.397 114.836 C 224.05647 111.69971 218.50761 108.289804 213.25864 104.90571" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><circle cx="199.97595" cy="92.61395" r="7.000961" fill="#fffe71"/><circle cx="199.97595" cy="92.61395" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><circle cx="181.81895" cy="119.45695" r="7.000961" fill="#fffe71"/><circle cx="181.81895" cy="119.45695" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="172.39495" cy="145.98695" r="7.000961" fill="#fffe71"/><circle cx="172.39495" cy="145.98695" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="191.28895" cy="172.51695" r="7.000961" fill="#a5ff78"/><circle cx="191.28895" cy="172.51695" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="214.71395" cy="119.26395" r="7.000961" fill="#fffe71"/><circle cx="214.71395" cy="119.26395" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="247.76695" cy="119.93295" r="7.000961" fill="#fffe71"/><circle cx="247.76695" cy="119.93295" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><circle cx="225.36195" cy="147.66995" r="7.000961" fill="#fffe71"/><circle cx="225.36195" cy="147.66995" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="193.08327" y1="102.80395" x2="188.43147" y2="109.68109" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="177.86826" y1="130.578685" x2="176.34559" y2="134.865196" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="205.92984" y1="103.380056" x2="209.00205" y2="108.93538" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="218.85671" y1="130.315664" x2="221.21924" y2="136.61822" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="179.24131" y1="155.600255" x2="184.4426" y2="162.90364" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="215.647" y1="154.37152" x2="205.27354" y2="161.52735" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><circle cx="261.29795" cy="146.77595" r="7.000961" fill="#fffe71"/><circle cx="261.29795" cy="146.77595" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="206.92362" y1="96.58548" x2="236.28745" y2="113.37086" marker-end="url(#FilledArrow_Marker_3)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="251.36924" y1="127.07921" x2="255.34603" y2="134.9684" marker-end="url(#FilledArrow_Marker_3)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><circle cx="261.20595" cy="174.51295" r="7.000961" fill="red"/><circle cx="261.20595" cy="174.51295" r="7.000961" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="261.27142" y1="154.77686" x2="261.24816" y2="161.79207" marker-end="url(#FilledArrow_Marker_3)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="204.73078" y1="125.559554" x2="186.87417" y2="136.82032" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="239.8446" y1="129.34356" x2="235.5243" y2="134.47547" marker-end="url(#FilledArrow_Marker)" marker-start="url(#FilledArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(255.97 164.705)" fill="yellow"><tspan font-family="Arial Unicode MS" font-size="14" font-weight="500" fill="yellow" x="0" y="15" textLength="10.5">☠</tspan></text><text transform="translate(149 27)" fill="black"><tspan font-family="Helvetica" font-size="11" font-weight="500" x="0" y="10" textLength="79.486816">model checking:</tspan></text><text transform="translate(176 46.4739)" fill="black"><tspan font-family="Helvetica" font-size="10" font-weight="500" x="0" y="10" textLength="132.84668">all program state are explored</tspan><tspan font-family="Helvetica" font-size="10" font-weight="500" x="0" y="22" textLength="131.75781"> until none left or defect found</tspan></text><path d="M 183.622 166.859 C 178.29187 167.05165 173.02446 169.4278 167.63 167.437 C 162.23554 165.4462 154.65566 161.23853 151.252 154.913 C 147.84834 148.58747 145.43984 137.4432 147.206 129.48 C 148.97216 121.5168 155.10684 112.587704 161.85 107.129 C 167.00219 102.95821 174.3303 101.111333 181.33995 98.92518" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><path d="M 183.237 142.775 C 188.43881 142.83899 194.41278 145.3111 198.844 142.967 C 201.71564 141.44791 203.9405 137.9056 206.14715 134.306975" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><path d="M 235.645 139.692 C 237.44315 138.9854 239.37017 139.27383 241.04 137.572 C 241.57356 137.02821 242.08097 136.281115 242.57475 135.42817" marker-end="url(#Arrow_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><text transform="translate(125.853 90.4145)" fill="blue"><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="blue" x="0" y="10" textLength="42.79297">backtrack</tspan></text><text transform="translate(177.64 135.638)" fill="purple"><tspan font-family="Apple Symbols" font-size="13" font-weight="500" fill="purple" x="0" y="9" textLength="7.445801">≡</tspan></text><text transform="translate(195.944 160.694)" fill="purple"><tspan font-family="Apple Symbols" font-size="13" font-weight="500" fill="purple" x="0" y="9" textLength="7.445801">≡</tspan></text><text transform="translate(228.507 134.495)" fill="purple"><tspan font-family="Apple Symbols" font-size="13" font-weight="500" fill="purple" x="0" y="9" textLength="7.445801">≡</tspan></text><text transform="translate(202.738 164.231)" fill="purple"><tspan font-family="Helvetica" font-size="10" font-weight="500" fill="purple" x="0" y="10" textLength="27.231445">match</tspan></text><text transform="translate(254.721 187.554)" fill="red"><tspan font-family="Zapf Dingbats" font-size="14" font-weight="500" fill="red" x=".26269531" y="11" textLength="9.4746094">✘</tspan></text></g></g></svg>
projects / jpf-core.git / blobdiff
