Skip to content

Commit 8d13bee

Browse files
davexparkerdavexparker
committed
Update manual.
1 parent 5d2396f commit 8d13bee

307 files changed

Lines changed: 79707 additions & 2281 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎manual/Appendices/AllOnOnePage.html‎

Lines changed: 182 additions & 20 deletions
Large diffs are not rendered by default.

‎manual/Appendices/AllOnOnePage@action=edit.html‎

Lines changed: 265 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,265 @@
1+
2+
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
3+
"http://www.w3.org/TR/html4/loose.dtd">
4+
5+
6+
<html>
7+
<head>
8+
9+
<title>
10+
PRISM Manual | Appendices / All On One Page | Edit
11+
</title>
12+
13+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
14+
<meta name="keywords" content="prism, probabilistic, symbolic, model, checker, verification, birmingham, oxford, parker, norman, kwiatkowska">
15+
16+
<link rel="icon" href="http://www.prismmodelchecker.org/images/prism.ico" type="image/x-icon">
17+
<link rel="shortcut icon" href="http://www.prismmodelchecker.org/images/prism.ico" type="image/x-icon">
18+
19+
<!--The following line is needed by PmWiki (for the manual) - don't delete-->
20+
<!--HTMLHeader--><style type='text/css'><!--
21+
ul, ol, pre, dl, p { margin-top:0px; margin-bottom:0px; }
22+
code.escaped { white-space: pre; }
23+
.vspace { margin-top:1.33em; }
24+
.indent { margin-left:40px; }
25+
.outdent { margin-left:40px; text-indent:-40px; }
26+
a.createlinktext { text-decoration:none; border-bottom:1px dotted gray; }
27+
a.createlink { text-decoration:none; position:relative; top:-0.5em;
28+
font-weight:bold; font-size:smaller; border-bottom:none; }
29+
img { border:0px; }
30+
.editconflict { color:green;
31+
font-style:italic; margin-top:1.33em; margin-bottom:1.33em; }
32+
33+
table.markup { border:2px dotted #ccf; width:90%; }
34+
td.markup1, td.markup2 { padding-left:10px; padding-right:10px; }
35+
table.vert td.markup1 { border-bottom:1px solid #ccf; }
36+
table.horiz td.markup1 { width:23em; border-right:1px solid #ccf; }
37+
table.markup caption { text-align:left; }
38+
div.faq p, div.faq pre { margin-left:2em; }
39+
div.faq p.question { margin:1em 0 0.75em 0; font-weight:bold; }
40+
div.faqtoc div.faq * { display:none; }
41+
div.faqtoc div.faq p.question
42+
{ display:block; font-weight:normal; margin:0.5em 0 0.5em 20px; line-height:normal; }
43+
div.faqtoc div.faq p.question * { display:inline; }
44+
td.markup1 pre { white-space: pre-wrap; }
45+
.noPmTOC, .PmTOCdiv:empty {display:none;}
46+
.PmTOCdiv { display: inline-block; font-size: 13px; overflow: auto; max-height: 500px;}
47+
.PmTOCdiv a { text-decoration: none; display: block; line-height: 1;}
48+
.PmTOCdiv a.pmtoc-indent1 { margin-left: 1em; }
49+
.PmTOCdiv a.pmtoc-indent2 { margin-left: 2em; }
50+
.PmTOCdiv a.pmtoc-indent3 { margin-left: 3em; }
51+
.PmTOCdiv a.pmtoc-indent4 { margin-left: 4em; }
52+
.PmTOCdiv a.pmtoc-indent5 { margin-left: 5em; }
53+
.PmTOCdiv a.pmtoc-indent6 { margin-left: 6em; }
54+
.back-arrow {font-size: .8rem; text-decoration: none; vertical-align: text-top;}
55+
#PmTOCchk + label {cursor: pointer;}
56+
#PmTOCchk {display: none;}
57+
#PmTOCchk:not(:checked) + label > .pmtoc-show {display: none;}
58+
#PmTOCchk:checked + label > .pmtoc-hide {display: none;}
59+
#PmTOCchk:checked + label + div {display: none;}table.sortable th { cursor: pointer; }
60+
table.sortable th::after { color: transparent; content: "\00A0\025B8"; }
61+
table.sortable th:hover::after { color: inherit; content: "\00A0\025B8"; }
62+
table.sortable th.dir-u::after { color: inherit; content: "\00A0\025BE"; }
63+
table.sortable th.dir-d::after { color: inherit; content: "\00A0\025B4"; }
64+
.frame
65+
{ border:1px solid #cccccc; padding:4px; background-color:#f9f9f9; }
66+
.lfloat { float:left; margin-right:0.5em; }
67+
.rfloat { float:right; margin-left:0.5em; }
68+
a.varlink { text-decoration:none;}
69+
70+
--></style> <meta name='robots' content='noindex,nofollow' />
71+
<script type='text/javascript'
72+
src='http://www.prismmodelchecker.org/manual/pub/guiedit/guiedit.js'></script>
73+
74+
75+
<link type="text/css" rel="stylesheet" href="http://www.prismmodelchecker.org/css/base.css">
76+
<link type="text/css" rel="stylesheet" href="http://www.prismmodelchecker.org/css/prism.css">
77+
<link type="text/css" rel="stylesheet" href="http://www.prismmodelchecker.org/css/print.css" media="print">
78+
<link type="text/css" rel="stylesheet" href="http://www.prismmodelchecker.org/css/bib.css">
79+
80+
<link type="text/css" rel="stylesheet" href="../pub/skins/prism/css/prismmanual.css">
81+
82+
83+
<script type="text/javascript" src="http://www.prismmodelchecker.org/includes/prism.js"></script>
84+
85+
86+
<script type="text/javascript">
87+
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
88+
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
89+
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
90+
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
91+
ga('create', 'UA-42079741-1', 'prismmodelchecker.org');
92+
ga('send', 'pageview');
93+
</script>
94+
95+
</head>
96+
97+
<body text="#000000" bgcolor="#ffffff" onload="initialise()">
98+
99+
<div id="prism-banner">
100+
<div id="prism-bannerlefthalf"></div>
101+
<div id="prism-bannerrighthalf"></div>
102+
<div id="prism-bannerurl"><a href="http://www.prismmodelchecker.org/"><img src="http://www.prismmodelchecker.org/images/url_thin.png" alt="www.prismmodelchecker.org"></a></div>
103+
<div id="prism-bannerlogo"><a href="http://www.prismmodelchecker.org/"><img src="http://www.prismmodelchecker.org/images/p_blue.png" alt="P"></a></div>
104+
<form id="prism-searchbox" title="Search the PRISM site with Google" method="get" action="https://www.google.com/search">
105+
<input type="hidden" name="domains" value="www.prismmodelchecker.org">
106+
<input type="hidden" name="sitesearch" value="www.prismmodelchecker.org">
107+
<input class="input1" id="q" name="q" type="text" size="30">
108+
<input class="input2" id="submit" type="submit" value="Search">
109+
</form>
110+
</div>
111+
112+
<div id="prism-navbar">
113+
<div id="prism-navbarinner">
114+
115+
<ul id="prism-navbarmenu">
116+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/" title="">Home</a>
117+
118+
<li> &nbsp;&#8226;&nbsp;
119+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/about.php" title="">About</a>
120+
<ul class="prism-navbarsubmenu">
121+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/about.php">About PRISM</a>
122+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/people.php">People</a>
123+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/sponsors.php">Sponsors</a>
124+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/contact.php">Contact</a>
125+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/news.php">News</a>
126+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/screenshots.php">Screenshots</a>
127+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/other-tools.php">Other tools</a>
128+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/links.php">Links</a>
129+
</ul>
130+
<li> &nbsp;&#8226;&nbsp;
131+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/download.php" title="">Downloads</a>
132+
<ul class="prism-navbarsubmenu">
133+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/download.php">PRISM</a>
134+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/dev/">Development versions</a>
135+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/benchmarks/">Benchmarks</a>
136+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/games/download.php">PRISM-games</a>
137+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/other-downloads.php">Other downloads</a>
138+
</ul>
139+
<li> &nbsp;&#8226;&nbsp;
140+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/doc/" title="">Documentation</a>
141+
<ul class="prism-navbarsubmenu">
142+
<li class="prism-navsubitem">&#187; <a href="../InstallingPRISM.html">Installation</a>
143+
<li class="prism-navsubitem">&#187; <a href="../index.html">Manual</a>
144+
<li class="prism-navsubitem">&#187; <a href="../FrequentlyAskedQuestions.html">FAQ</a>
145+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/tutorial/">Tutorial</a>
146+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/lectures/">Lectures</a>
147+
</ul>
148+
<li> &nbsp;&#8226;&nbsp;
149+
<li class="prism-navitemsel"><a href="../index.html" title="">Manual</a>
150+
151+
<li> &nbsp;&#8226;&nbsp;
152+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/publ-lists.php" title="">Publications</a>
153+
<ul class="prism-navbarsubmenu">
154+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/publ-selected.php">Selected publications</a>
155+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/publications.php">PRISM publications</a>
156+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/bib.php">PRISM bibliography</a>
157+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/bib-ext.php">External publications</a>
158+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/publ-search.php">Search</a>
159+
</ul>
160+
<li> &nbsp;&#8226;&nbsp;
161+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/casestudies/index.php" title="">Case Studies</a>
162+
163+
<li> &nbsp;&#8226;&nbsp;
164+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/support.php" title="">Support</a>
165+
<ul class="prism-navbarsubmenu">
166+
<li class="prism-navsubitem">&#187; <a href="../InstallingPRISM/CommonProblemsAndQuestions.html">Installation FAQ</a>
167+
<li class="prism-navsubitem">&#187; <a href="../FrequentlyAskedQuestions/index.html">PRISM FAQ</a>
168+
<li class="prism-navsubitem">&#187; <a href="http://groups.google.com/group/prismmodelchecker">Forum (Google)</a>
169+
</ul>
170+
<li> &nbsp;&#8226;&nbsp;
171+
<li class="prism-navitem"><a href="https://github.com/prismmodelchecker/prism/wiki" title="">Developers</a>
172+
<ul class="prism-navbarsubmenu">
173+
<li class="prism-navsubitem">&#187; <a href="https://github.com/prismmodelchecker/prism/wiki">Developer resources</a>
174+
<li class="prism-navsubitem">&#187; <a href="http://groups.google.com/group/prismmodelchecker-dev">Developer forum</a>
175+
</ul>
176+
<li> &nbsp;&#8226;&nbsp;
177+
<li class="prism-navitem"><a href="http://www.prismmodelchecker.org/games/" title="">PRISM-games</a>
178+
<ul class="prism-navbarsubmenu">
179+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/games/download.php">Download</a>
180+
<li class="prism-navsubitem">&#187; <a href="http://www.prismmodelchecker.org/games/publ.php">Publications</a>
181+
</ul>
182+
</ul>
183+
<div style="clear:both;"></div>
184+
185+
</div> <!-- id="prism-navbarinner" -->
186+
</div> <!-- id="prism-navbar" -->
187+
188+
<div id="layout-maincontainer">
189+
<div id="layout-main">
190+
191+
<div id="prism-mainbox">
192+
193+
<!--<a href="http://www.ox.ac.uk/"><img id="prism-unilogo" src="/images/oxford_logo_pale.png" alt="University of Oxford"></a>-->
194+
195+
<!-- ============================================================================= -->
196+
197+
<!--PageHeaderFmt-->
198+
<div id="prism-man-commands1">
199+
<p><span class='prism-man-commands'><a class='selflink' href='AllOnOnePage.html'>View</a> - </span><a rel='nofollow' class='wikilink' href='AllOnOnePage@action=edit.html'>Edit</a> - <a class='wikilink' href='AllOnOnePage@action=print.html'>Print</a> - <a class='wikilink' href='../Main/Search.html'>Search</a>
200+
</p>
201+
202+
</div>
203+
<!--/PageHeaderFmt-->
204+
205+
<!--PageTitleFmt-->
206+
<div id="prism-man-title">
207+
<p><a class='wikilink' href='Main.html'>Appendices</a> /
208+
</p><h1>All On One Page</h1>
209+
210+
</div>
211+
<!--PageText-->
212+
<div id='wikitext'>
213+
<p><strong>Password required</strong>
214+
</p>
215+
<form name='authform' action='AllOnOnePage@action=edit.html' method='post'>
216+
<p>Password: <input type='password' name='authpw' class='inputbox' autofocus='autofocus' />
217+
<input type='submit' value='OK' class='inputbutton' />
218+
</p></form>
219+
</div>
220+
221+
222+
<!--PageFooterFmt-->
223+
<div id='prism-man-footer'>
224+
<div id='prism-man-commands2'>
225+
<p><a class='selflink' href='AllOnOnePage.html'>View</a> - <a rel='nofollow' class='wikilink' href='AllOnOnePage@action=edit.html'>Edit</a> - <a class='wikilink' href='AllOnOnePage@action=print.html'>Print</a> - <a class='wikilink' href='../Main/Search.html'>Search</a> - <a rel='nofollow' class='wikilink' href='AllOnOnePage@action=login.html'>Login</a>
226+
</p>
227+
228+
</div>
229+
<div id='prism-man-lastmod'>Page last modified on November 13, 2013, at 11:23 AM</div>
230+
</div>
231+
<!--/PageFooterFmt-->
232+
233+
234+
<!-- ============================================================================= -->
235+
236+
</div> <!-- id="prism-mainbox" -->
237+
238+
<div id="prism-footer">
239+
<a href="http://validator.w3.org/check/referer"><img border="0" src="http://www.prismmodelchecker.org/images/valid_html.png" alt="Valid HTML 4.1"/></a>
240+
<a href="http://www.php.net/"><img border="0" src="http://www.prismmodelchecker.org/images/php_powered.png" alt="Powered by PHP"/></a>
241+
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img border="0" src="http://www.prismmodelchecker.org/images/valid_css.png" alt="Valid CSS"/></a>
242+
<span style="color:#888888; font-size:85%; margin-left:20px;">Site hosted at the Department of Computer Science, University of Oxford</span>
243+
</div> <!-- id="prism-footer" -->
244+
245+
</div> <!-- id="layout-main" -->
246+
</div> <!-- id="layout-maincontainer" -->
247+
248+
<div id="layout-leftcol">
249+
<div id="prism-navbar2">
250+
251+
<h3><a class='wikilink' href='../Main/Main.html'>PRISM Manual</a></h3>
252+
<p><strong><a class='wikilink' href='Main.html'>Appendices</a></strong>
253+
</p><ul><li><a class='wikilink' href='ExplicitModelFiles.html'>Explicit Model Files</a>
254+
</li></ul><p>[ <a class='selflink' href='AllOnOnePage.html'>View all</a> ]
255+
</p>
256+
257+
258+
</div> <!-- id="prism-navbar2" -->
259+
</div> <!-- id="layout-leftcol" -->
260+
261+
<div id="layout-footer">
262+
</div> <!-- id="layout-footer" -->
263+
264+
</body>
265+
</html>

0 commit comments

Comments
 (0)