Renaming /doc to /docs for use with GitHub Pages

[jpf-core.git] / docs / graphics / sw-model-checking.svg

diff --git a/docs/graphics/sw-model-checking.svg b/docs/graphics/sw-model-checking.svg
new file mode 100644 (file)
index 0000000..1fd0a54
--- /dev/null
+++ b/docs/graphics/sw-model-checking.svg
@@ -0,0 +1,3 @@
+<?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="32 9 642 191" width="642pt" height="191pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-11-19 20:40:12 +0000</dc:date></metadata><defs><font-face font-family="Courier" font-size="13" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></font-face-src></font-face><font-face font-family="Hiragino Kaku Gothic Pro" font-size="14" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-60" underline-thickness="63" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="400"><font-face-src><font-face-name name="HiraKakuPro-W3"/></font-face-src></font-face><font-face font-family="Courier" font-size="14" units-per-em="1000" underline-position="-178.22266" underline-thickness="57.617188" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="500"><font-face-src><font-face-name name="Courier"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="StickArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 0 M 0 -3 L 8 0 L 0 3" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Courier" font-size="14" units-per-em="1000" underline-position="-144.04297" underline-thickness="91.796875" slope="0" x-height="462.40234" cap-height="594.72656" ascent="753.90625" descent="-246.09375" font-weight="bold"><font-face-src><font-face-name name="Courier-Bold"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="StickArrow_Marker_2" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="red"><g><path d="M 4.8 0 L 0 0 M 0 -1.8 L 4.8 0 L 0 1.8" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><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><text transform="translate(432.5 20)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x="4.2822266" y="13" textLength="226.23682">Random random = new Random() </tspan></text><text transform="translate(432.5 65.5)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x=".48413086" y="13" textLength="195.03174">int a = random.nextInt(2)</tspan></text><text transform="translate(432.5 110)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x=".48413086" y="13" textLength="195.03174">int b = random.nextInt(3)</tspan></text><text transform="translate(432.5 155)" fill="blue"><tspan font-family="Courier" font-size="13" font-weight="500" fill="blue" x=".28857422" y="13" textLength="140.42285">int c = a/(b+a -2)</tspan></text><text transform="translate(411 24)" fill="black"><tspan font-family="Hiragino Kaku Gothic Pro" font-size="14" font-weight="400" x="0" y="12" textLength="14">①</tspan></text><text transform="translate(411 68)" fill="black"><tspan font-family="Hiragino Kaku Gothic Pro" font-size="14" font-weight="400" x="0" y="12" textLength="14">②</tspan></text><text transform="translate(411 112)" fill="black"><tspan font-family="Hiragino Kaku Gothic Pro" font-size="14" font-weight="400" x="0" y="12" textLength="14">③</tspan></text><text transform="translate(411 156)" fill="black"><tspan font-family="Hiragino Kaku Gothic Pro" font-size="14" font-weight="400" x="0" y="12" textLength="14">④</tspan></text><text transform="translate(92 61)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">a=0</tspan></text><text transform="translate(46 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">b=0</tspan></text><text transform="translate(100 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">b=1</tspan></text><text transform="translate(154 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">b=2</tspan></text><line x1="96.68085" y1="78" x2="74.243835" y2="100.92478" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="106.446806" y1="78" x2="109.89197" y2="98.24037" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="116.21276" y1="78" x2="147.89787" y2="102.01936" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(46 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">c=0</tspan></text><text transform="translate(100 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">c=0</tspan></text><text transform="translate(146.5 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".49658203" y="14" textLength="42.006836">c=0/0</tspan></text><line x1="59" y1="125" x2="59" y2="143.1" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="113" y1="125" x2="113" y2="143.1" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="167.18889" y1="125" x2="167.59116" y2="143.10244" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(194.5 18)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="bold" fill="blue" x=".49658203" y="14" textLength="42.006836">start</tspan></text><line x1="194.05814" y1="35" x2="132.23152" y2="58.95085" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(299 61)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="bold" fill="blue" x=".39794922" y="14" textLength="25.204102">a=1</tspan></text><text transform="translate(253 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="bold" fill="blue" x=".39794922" y="14" textLength="25.204102">b=0</tspan></text><text transform="translate(307 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">b=1</tspan></text><text transform="translate(361 108)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">b=2</tspan></text><line x1="303.68085" y1="78" x2="283.34222" y2="98.780774" marker-end="url(#StickArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="313.4468" y1="78" x2="316.89197" y2="98.24037" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="323.21276" y1="78" x2="354.89787" y2="102.01936" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(249 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="bold" fill="blue" x=".19726562" y="14" textLength="33.605469">c=-1</tspan></text><text transform="translate(298.5 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".49658203" y="14" textLength="42.006836">c=1/0</tspan></text><text transform="translate(362 153)" fill="blue"><tspan font-family="Courier" font-size="14" font-weight="500" fill="blue" x=".39794922" y="14" textLength="25.204102">c=1</tspan></text><line x1="266" y1="125" x2="266" y2="140.1" marker-end="url(#StickArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><line x1="320" y1="125" x2="320" y2="143.1" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="374.18889" y1="125" x2="374.59116" y2="143.10244" marker-end="url(#StickArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><line x1="234.97674" y1="35" x2="282.22705" y2="56.1642" marker-end="url(#StickArrow_Marker_2)" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/><text transform="translate(260 176)" fill="#00c300"><tspan font-family="Zapf Dingbats" font-size="14" font-weight="500" fill="#00c300" x=".076660156" y="11" textLength="11.84668">✔</tspan></text></g></g></svg>