Thanasis Naskos / Elton

Blame view

prism-4.3-linux64/doc/manual/index.html 6.79 KB
edit raw normal view history
8146dcf82   Thanasis Naskos   first commit 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
 
  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
  "http://www.w3.org/TR/html4/loose.dtd">
  
  <html>
  <head>
  
  <title>
  PRISM Manual | Main / Welcome 
  </title>
  
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <meta name="keywords" content="prism, probabilistic, symbolic, model, checker, verification, birmingham, oxford, parker, norman, kwiatkowska">
  
  <link rel="icon" href="pub/skins/offline/images/p16.ico" type="image/x-icon">
  <link rel="shortcut icon" href="pub/skins/offline/images/p16.ico" type="image/x-icon">
  
  <!--HTMLHeader--><style type='text/css'><!--
    ul, ol, pre, dl, p { margin-top:0px; margin-bottom:0px; }
    code.escaped { white-space: nowrap; }
    .vspace { margin-top:1.33em; }
    .indent { margin-left:40px; }
    .outdent { margin-left:40px; text-indent:-40px; }
    a.createlinktext { text-decoration:none; border-bottom:1px dotted gray; }
    a.createlink { text-decoration:none; position:relative; top:-0.5em;
      font-weight:bold; font-size:smaller; border-bottom:none; }
    img { border:0px; }
    .editconflict { color:green; 
    font-style:italic; margin-top:1.33em; margin-bottom:1.33em; }
  
    table.markup { border:2px dotted #ccf; width:90%; }
    td.markup1, td.markup2 { padding-left:10px; padding-right:10px; }
    table.vert td.markup1 { border-bottom:1px solid #ccf; }
    table.horiz td.markup1 { width:23em; border-right:1px solid #ccf; }
    table.markup caption { text-align:left; }
    div.faq p, div.faq pre { margin-left:2em; }
    div.faq p.question { margin:1em 0 0.75em 0; font-weight:bold; }
    div.faqtoc div.faq * { display:none; }
    div.faqtoc div.faq p.question 
      { display:block; font-weight:normal; margin:0.5em 0 0.5em 20px; line-height:normal; }
    div.faqtoc div.faq p.question * { display:inline; }
     
      .frame 
        { border:1px solid #cccccc; padding:4px; background-color:#f9f9f9; }
      .lfloat { float:left; margin-right:0.5em; }
      .rfloat { float:right; margin-left:0.5em; }
  a.varlink { text-decoration:none; }
  
  --></style>  <meta name='robots' content='index,follow' />
  
  
  <link type="text/css" rel="stylesheet" href="pub/skins/offline/css/base.css">
  <link type="text/css" rel="stylesheet" href="pub/skins/offline/css/prism.css">
  <link type="text/css" rel="stylesheet" href="pub/skins/offline/css/prismmanual.css">
  
  </head>
  
  <body text="#000000" bgcolor="#ffffff">
  
  <div id="layout-maincontainer">
  <div id="layout-main">
  
  <div id="prism-mainbox">
  
  <!-- ============================================================================= -->
  
  <!--PageHeaderFmt-->
  <!--/PageHeaderFmt-->
  
  <!--PageTitleFmt-->
    <div id="prism-man-title">
      <p><a class='wikilink' href='Main/Main.html'>Main</a> /
  </p><h1>Welcome</h1>
  
    </div>
  <!--PageText-->
  <div id='wikitext'>
  <p>Welcome to the manual for <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM</a>.
  This document is the main source of information regarding the installation and operation of the PRISM tool. For access to other resources, such as <a class='urllink' href='http://www.prismmodelchecker.org/publications.php'>related publications</a> and details of <a class='urllink' href='http://www.prismmodelchecker.org/casestudies/'>case studies</a>, or to <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>download</a> the tool itself, see the main <a class='urllink' href='http://www.prismmodelchecker.org/'>PRISM website</a>.
  </p>
  <div class='vspace'></div><h3>Which version of PRISM does this manual describe?</h3>
  <p>This manual describes version <strong>4.3</strong>.
  In general, the online copy of the manual corresponds to the most recent
  <a class='urllink' href='http://www.prismmodelchecker.org/download.php'>publically available</a>
  version of PRISM (including beta versions).
  If you need the manual for an older version of PRISM,
  use the version included in that distribution.
  </p>
  <div class='vspace'></div><h3>How do I search the manual?</h3>
  <p>This documentation is continuously updated and is best viewed online. If you are reading this online, you can use the built-in <a class='wikilink' href='Main/Search.html'>search</a> facility (there is a link in the grey box at the top of each page). For a nicer search interface (but possibly not 100% up-to-date index), you can also search with Google, using the search box in the banner at the top of the site.
  </p>
  <p class='vspace'>If you are browsing these pages off-line, for example using the copy distributed with the tool, you can view the whole manual on <a class='wikilink' href='Main/AllOnOnePage.html'>one page</a> and use the search functionality of your browser. Alternatively, search the PDF version of the manual, which is also distributed with the tool, in the <code>doc</code> directory.
  </p>
  <div class='vspace'></div><h3>How do I print the manual?</h3>
  <p>To print an individual page of the manual click on the "Print" link at the top-right hand corner of the page (in the online version) and print the page from your web browser. You can also print an entire section (see the "View all" link under the contents on the left) or the <a class='wikilink' href='Main/AllOnOnePage.html'>entire manual</a> in this way.  The best way to print the whole manual is to print the PDF version which is distributed with the tool.
  </p>
  <div class='vspace'></div><h3>More questions?</h3>
  <p>If you have a question about PRISM and you cannot find the answer in this manual, please use the discussion group provided. Check the
  <a class='urllink' href='http://www.prismmodelchecker.org/support/'>support</a>
  section of the PRISM website for details.
  </p>
  </div>
  
  
  <!--PageFooterFmt-->
    <div id='prism-man-footer'>
    </div>
  <!--/PageFooterFmt-->
  
  
  <!-- ============================================================================= -->
  
  </div> <!-- id="prism-mainbox" -->
  
  </div> <!-- id="layout-main" -->
  </div> <!-- id="layout-maincontainer" -->
  
  <div id="layout-leftcol">
  <div id="prism-navbar2">
  
  <h3><a class='selflink' href='Main/Main.html'>PRISM Manual</a></h3>
  <ul><li><a class='wikilink' href='Main/Contents.html'>Contents</a>
  </li><li><a class='wikilink' href='Main/Introduction.html'>Introduction</a>
  </li><li><a class='wikilink' href='InstallingPRISM/Main.html'>Installing PRISM</a>
  </li><li><a class='wikilink' href='ThePRISMLanguage/Main.html'>The PRISM Language</a>
  </li><li><a class='wikilink' href='PropertySpecification/Main.html'>Property Specification</a>
  </li><li><a class='wikilink' href='RunningPRISM/Main.html'>Running PRISM</a>
  </li><li><a class='wikilink' href='ConfiguringPRISM/Main.html'>Configuring PRISM</a>
  </li><li><a class='wikilink' href='Main/References.html'>References</a>
  </li><li><a class='wikilink' href='FrequentlyAskedQuestions/Main.html'>FAQ</a>
  </li><li><a class='wikilink' href='Appendices/Main.html'>Appendices</a>
  </li></ul><p>[ <a class='wikilink' href='Main/AllOnOnePage.html'>View all</a> ]
  </p>
  
  
  </div>  <!-- id="prism-navbar2" -->
  </div> <!-- id="layout-leftcol" -->
  
  </body>
  </html>