-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
286 lines (272 loc) · 14.8 KB
/
index.html
File metadata and controls
286 lines (272 loc) · 14.8 KB
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
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="msvalidate.01" content="8A044F6B24E3A19810D766CAE2ACA17A" />
<meta name="description" content="NeVer Tools collects knowledge and insight about formal verification of Neural Networks.">
<meta name="author" content="Navendu Pottekkat | Stefano Demarchi">
<meta name="keywords" content="VNNLIB, NeVer, NeVer 2, NeVerTools, CoCoNet, Neural Networks Verification">
<meta name="msapplication-TileColor" content="#da532c">
<meta name="msapplication-config" content="./assets/img/favicons/browserconfig.xml">
<meta name="theme-color" content="#ffffff">
<title>Neural Verification</title>
<!-- Favicons -->
<link rel="apple-touch-icon" sizes="180x180" href="./assets/img/favicons/apple-touch-icon.png">
<link rel="icon" type="image/png" sizes="32x32" href="./assets/img/favicons/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="16x16" href="./assets/img/favicons/favicon-16x16.png">
<link rel="manifest" href="./assets/img/favicons/site.webmanifest">
<link rel="mask-icon" href="./assets/img/favicons/safari-pinned-tab.svg" color="#5bbad5">
<link rel="shortcut icon" href="./assets/img/favicons/favicon.ico">
<!-- Font Awesome icons (free version)-->
<script src="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/5.13.0/js/all.min.js"
crossorigin="anonymous"></script>
<!-- Core theme CSS (includes Bootstrap)-->
<link href="css/styles.css" rel="stylesheet">
<!-- Fonts CSS-->
<link rel="stylesheet" href="css/heading.css">
<link rel="stylesheet" href="css/body.css">
</head>
<body id="page-top">
<nav class="navbar navbar-expand-lg bg-secondary fixed-top" id="mainNav">
<div class="container"><a class="navbar-brand js-scroll-trigger" href="#page-top">Home Page</a>
<button class="navbar-toggler navbar-toggler-right font-weight-bold bg-primary text-white rounded"
type="button" data-toggle="collapse" data-target="#navbarResponsive" aria-controls="navbarResponsive"
aria-expanded="false" aria-label="Toggle navigation"><i class="fas fa-bars"></i></button>
<div class="collapse navbar-collapse" id="navbarResponsive">
<ul class="navbar-nav ml-auto">
<li class="nav-item mx-0 mx-lg-1"><a class="nav-link py-3 px-0 px-lg-3 rounded js-scroll-trigger"
href="#portfolio">Projects</a>
</li>
<li class="nav-item mx-0 mx-lg-1"><a class="nav-link py-3 px-0 px-lg-3 rounded js-scroll-trigger"
href="#about">About</a>
</li>
<li class="nav-item mx-0 mx-lg-1"><a class="nav-link py-3 px-0 px-lg-3 rounded js-scroll-trigger"
href="#team">Team</a>
</li>
</ul>
</div>
</div>
</nav>
<header class="masthead bg-primary text-white text-center">
<div class="container d-flex align-items-center flex-column">
<!-- Masthead Heading-->
<h1 class="masthead-heading mb-0">Neural Verification</h1>
<!-- Icon Divider-->
<div class="divider-custom divider-light">
<div class="divider-custom-line"></div>
<div class="divider-custom-icon"><i class="fas fa-caret-down"></i></div>
<div class="divider-custom-line"></div>
</div>
<!-- Masthead Avatar Image<img class="masthead-avatar mb-5" src="assets/svg/neverlogo.svg" alt="NeVer Logo">
Masthead Subheading-->
<p class="pre-wrap masthead-subheading font-weight-light mb-0">Automated verification of neural networks, machine learned and standard programs.</p>
</div>
</header>
<!-- PROJECTS SECTION -->
<section class="page-section portfolio" id="portfolio">
<div class="container">
<!-- Portfolio Section Heading-->
<div class="text-center">
<h2 class="page-section-heading text-secondary mb-0 d-inline-block">Projects</h2>
</div>
<!-- Icon Divider-->
<div class="divider-custom">
<div class="divider-custom-line"></div>
<div class="divider-custom-icon"><i class="fas fa-code"></i></div>
<div class="divider-custom-line"></div>
</div>
<!-- Portfolio Grid Items-->
<div class="row">
<div class="col-lg-4 col-sm-6 mb-4">
<div class="card h-100">
<img class="card-img-top" src="./assets/img/nevertools_480_270.png" alt="pyNeVer">
<div class="card-body">
<h4 class="card-title">
<a target="_blank" href="https://github.com/NeVerTools/pyNeVer">pyNeVer</a>
</h4>
<p class="card-text">
<span class="badge badge-primary">API</span>
</br></br>A Python library for learning and verification of neural networks and other machine learning models.
</p>
</div>
</div>
</div>
<div class="col-lg-4 col-sm-6 mb-4">
<div class="card h-100">
<img class="card-img-top" src="./assets/img/nevertools_480_270.png" alt="NeVer 2">
<div class="card-body">
<h4 class="card-title">
<a target="_blank" href="https://github.com/NeVerTools/NeVer2">NeVer 2</a>
</h4>
<p class="card-text">
<span class="badge badge-primary">Tool</span>
<span class="badge badge-info">Alpha</span>
</br></br>A tool for learning and verification of neural networks.
</p>
</div>
</div>
</div>
<div class="col-lg-4 col-sm-6 mb-4">
<div class="card h-100">
<img class="card-img-top" src="./assets/img/CoCoNet_480_270.png" alt="CoCoNet">
<div class="card-body">
<h4 class="card-title">
<a target="_blank" href="https://github.com/NeVerTools/CoCoNet">CoCoNet</a>
</h4>
<p class="card-text">
<span class="badge badge-primary">Tool</span>
<span class="badge badge-info">Alpha</span>
</br></br>A tool for construction and conversion of neural networks across different standards.
</p>
</div>
</div>
</div>
<div class="col-lg-4 col-sm-6 mb-4">
<div class="card h-100">
<img class="card-img-top" src="./assets/img/nevertools_480_270.png" alt="sCan">
<div class="card-body">
<h4 class="card-title">
<a target="_blank" href="https://github.com/NeVerTools/scan">sCan</a>
</h4>
<p class="card-text">
<span class="badge badge-primary">Tool</span>
<span class="badge badge-warning">In development</span>
</br></br>A stochastic C code analyzer.
</p>
</div>
</div>
</div>
<div class="col-lg-4 col-sm-6 mb-4">
<div class="card h-100">
<img class="card-img-top" src="./assets/img/nevertools_480_270.png" alt="VNN-LIB">
<div class="card-body">
<h4 class="card-title">
<a target="_blank" href="http://www.vnnlib.org/">VNN-LIB</a>
</h4>
<p class="card-text">
<span class="badge badge-primary">Initiative</span>
</br></br>An international initiative whose aim is to encourage collaboration and facilitate research and development in Verification of Neural Networks (VNN).
</p>
</div>
</div>
</div>
</div>
</div>
</section>
<section class="page-section bg-primary text-white mb-0" id="about">
<div class="container">
<!-- About Section Heading-->
<div class="text-center">
<h2 class="page-section-heading d-inline-block text-white">About</h2>
</div>
<!-- Icon Divider-->
<div class="divider-custom divider-light">
<div class="divider-custom-line"></div>
<div class="divider-custom-icon"><i class="fas fa-random"></i></div>
<div class="divider-custom-line"></div>
</div>
<!-- About Section Content-->
<div class="text-center">
<p class="pre-wrap lead">This is the home page of neuralverification.org, an initiative of researchers working at the <a href="https://www.dibris.unige.it" style="color:#343a40">Department of Informatics, Bioengineering, Robotics and Systems Engineering</a> of the <a href="https://www.unige.it" style="color:#343a40">University of Genoa.</a></p>
<p class="pre-wrap lead">The aim of the initiative is to develop tools that can verify neural networks and other machine learned programs as well as standard, i.e., manually written, code.</p>
</div>
</div>
</section>
<section class="page-section" id="team">
<div class="container">
<!-- Contact Section Heading-->
<div class="text-center">
<h2 class="page-section-heading text-secondary d-inline-block mb-0">Team</h2>
</div>
<!-- Icon Divider-->
<div class="divider-custom">
<div class="divider-custom-line"></div>
<div class="divider-custom-icon"><i class="fas fa-user"></i></div>
<div class="divider-custom-line"></div>
</div>
<!-- Contact Section Content-->
<div class="row justify-content-center">
<div class="col-lg-4">
<div class="team-member">
<img class="mx-auto rounded-circle" src="assets/img/team/at.jpg" alt="..." />
<h4>Armando Tacchella</h4>
<p class="text-muted">Full Professor</p>
</div>
</div>
<div class="col-lg-4">
<div class="team-member">
<img class="mx-auto rounded-circle" src="assets/img/team/lp.jpg" alt="..." />
<h4>Luca Pulina</h4>
<p class="text-muted">Associate Professor</p>
</div>
</div>
<div class="col-lg-4">
<div class="team-member">
<img class="mx-auto rounded-circle" src="assets/img/team/gc.jpg" alt="..." />
<h4>Giuseppe Cicala</h4>
<p class="text-muted">Researcher</p>
</div>
</div>
<div class="col-lg-4">
<div class="team-member">
<img class="mx-auto rounded-circle" src="assets/img/team/dg.jpg" alt="..." />
<h4>Dario Guidotti</h4>
<p class="text-muted">PhD Student</p>
</div>
</div>
<div class="col-lg-4">
<div class="team-member">
<img class="mx-auto rounded-circle" src="assets/img/team/sd.jpg" alt="..." />
<h4>Stefano Demarchi</h4>
<p class="text-muted">PhD Student</p>
</div>
</div>
</div>
<div class="row justify-content-center">
<div class="col-lg-4">
<div class="d-flex flex-column align-items-center">
<a href="mailto:nevertools_at_googlegroups.com"><div class="icon-contact mb-3"><i class="far fa-envelope"></i></div></a>
<div class="text-muted">Email</div><a class="lead font-weight-bold"
href="mailto:nevertools_at_googlegroups.com">nevertools _at_ googlegroups.com</a>
</div>
</div>
</div>
</div>
</section>
<footer class="footer text-center">
<div class="container">
<div class="row">
<!-- Footer Location-->
<div class="col-lg-4 mb-5 mb-lg-0">
<h4 class="mb-4"></h4>
<p class="pre-wrap lead mb-0"> </p>
</div>
<div class="col-lg-4 mb-5 mb-lg-0">
<h4 class="mb-4">Powered by AIMS-Lab</h4>
<a target="_blank" href="http://www.aimslab.org">
<img class="img-footer" src="assets/svg/unige.svg" alt="UniGE">
</a>
</div>
</div>
</div>
</footer>
<!-- Copyright Section -->
<section class="copyright py-4 text-center text-white">
<div class="container"><small class="pre-wrap"><a target="_blank" href="https://github.com/NeVerTools/NeVerTools.github.io/blob/master/LICENSE">MIT Licensed</a> | neuralverification.org 2021 | Hosted with ❤ by <a href="https://github.com/" target="_blank">GitHub</a></small></div>
</section>
<!-- Scroll to Top Button (Only visible on small and extra-small screen sizes) -->
<div class="scroll-to-top d-lg-none position-fixed"><a
class="js-scroll-trigger d-block text-center text-white rounded" href="#page-top"><i
class="fa fa-chevron-up"></i></a></div>
<!-- Bootstrap core JS -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.4.1/jquery.min.js"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/js/bootstrap.bundle.min.js"></script>
<!-- Third party plugin JS -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-easing/1.4.1/jquery.easing.min.js"></script>
<!-- Core theme JS -->
<script src="js/scripts.js"></script>
<!-- GitHub buttons -->
<script async defer src="https://buttons.github.io/buttons.js"></script>
</body>
</html>