-
Notifications
You must be signed in to change notification settings - Fork 2
/
credits.html
95 lines (94 loc) · 5.16 KB
/
credits.html
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
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html version="-//W3C//DTD XHTML 1.1//EN"
xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.w3.org/1999/xhtml
http://www.w3.org/MarkUp/SCHEMA/xhtml11.xsd">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta name="viewport" content="initial-scale=1.0"/>
<title>Give ProVerB credit where credit is due</title>
<link href="main.css" rel="stylesheet" type="text/css" />
<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-3743366-7']);
_gaq.push(['_setDomainName', 'github.io']);
_gaq.push(['_setAllowLinker', true]);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>
</head>
<body>
<div class="left">
<div class="logo">
<a href="index.html"><img src="proverb.png" alt="ProVerB"/></a>
<h3>Program<br/>Verification<br/>Book</h3>
</div>
<nav>
<ul style="margin: 0;padding: 0;">
<li>
<a href="index.html">Homepage</a>
</li>
<li>
<a href="all.html">All tools</a>
</li>
<ul>
<li>
<a href="pv0.html" title="unprocessed/nonverifying">PV0</a>
</li><li>
<a href="pv1.html" title="solvers/linters">PV1</a>
</li><li>
<a href="pv2.html" title="synthesisers">PV2</a>
</li><li>
<a href="pv3.html" title="property checkers">PV3</a>
</li><li>
<a href="pv4.html" title="monoverifiers">PV4</a>
</li><li>
<a href="pv5.html" title="spec compilers">PV5</a>
</li><li>
<a href="pv6.html" title="proof assistants">PV6</a>
</li><li>
<a href="framework.html">Frameworks</a>
</li></ul>
<li>
<a href="tags.html">Tags</a>
</li><li>
<a href="specificationformat.html">Specification formats</a>
</li><li>
<a href="credits.html">About</a>
</li>
</ul>
</nav>
</div>
<div class="main">
<a href="https://www.utwente.nl/en/eemcs/fmt/"><img src="fmt.png" style="max-width:200px;float:right" alt="Formal Methods and Tools" /></a>
<h1 class="fbs">About ProVerB: Program Verification Book</h1>
<br clear="both"/>
<ul>
<li><strong>ProVerB</strong> is a project by the members of the <a href="https://www.utwente.nl/en/eemcs/fmt/">Formal Methods and Tools</a> group from the <a href="https://www.utwente.nl/en/">University of Twente</a>: <a class="sic" href="https://wwwhome.ewi.utwente.nl/~lathouwerssam/">Sophie Lathouwers</a> and <a class="sic" href="http://grammarware.net/">Vadim Zaytsev</a></li>
<li>
<em><a class="sic" href="https://doi.org/10.1145/3550355.3552426">Modelling Program Verification Tools for Software Engineers</a></em> is a paper at <a href="https://conf.researchr.org/home/models-2022">MoDELS’22</a> that explains a lot about the goals of the project and the design of its constituents.
<ul>
<li>Artefact: <a href="https://doi.org/10.4121/20347950">doi:10.4121/20347950</a> (being <a href="https://www.go-fair.org/fair-principles/">FAIR</a>)</li>
<li>Repository: <a href="https://github.com/Sophietje/Verification-Tool-Overview">@Sophietje/Verification-Tool-Overview</a> (we accept pull requests!)</li>
<li>Contributors: <a href="https://github.com/Sophietje/Verification-Tool-Overview/graphs/contributors">GitHub Insights</a></li>
</ul>
</li>
<li>The page is maintained by <a class="sic" href="http://grammarware.github.io/">Vadim Zaytsev</a> a.k.a. @<a class="sic" href="http://grammarware.net">grammarware</a></li>
<li>The logo of ProVerB is based on the open book logo by <a class="sic" href="https://commons.wikimedia.org/wiki/File:Open_Book_icon.svg">Icon Lauk</a> from the <a href="https://thenounproject.com/icon/open-book-2238057/">Noun Project</a>, CC-BY 2018.</li>
<li>Tool descriptions and depictions used within this project, might be imperfect, because most are created without consulting the original authors</li>
<li>Any citations and other pieces of information from the tool papers are claimed to be <strong>fair use</strong>. Different countries define this differently, but, for instance, within US (where this website, as the rest of GitHub, is hosted) this conforms to United States Code, Title 17, Section 107, because this project exists <em>“…for purposes such as criticism, comment, teaching, scholarship, or research…”</em>.</li>
<li>All referenced works of art, science and engineering, are subject to their own individual copyrights.</li>
</ul>
<br/><hr/>
<div class="f">
Last updated: <strong>December 2022</strong>.
</div>
</div>
</body>
</html>