-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsoftware.html
37 lines (32 loc) · 2.14 KB
/
software.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
<html>
<head>
<title>Paolo Zuliani, Newcastle University</title>
</head>
<body>
<b>Software</b>
<p>
Tools I am involved with:
<ul>
<li> <b>SilVer</b>: An automated tool for verifying Silq programs using SMT solvers
[<a href="https://github.com/marco-lewis/silver" target="_blank">tool page</a>] [<a href="https://doi.org/10.1109/QSW62656.2024.00027" target="_blank">paper</a>]
<li> <b>ProbReach</b>: Verified probabilistic bounded reachability for stochastic hybrid systems
[<a href="https://github.com/dreal/probreach" target="_blank">tool page</a>] [<a href="papers/ProbReach.pdf" target="_blank">paper</a>]
<li> <b>SPICE</b>: Stochastic Parameter Inference with the Cross-Entropy Method
[<a href="https://github.com/pzuliani/SPICE" target="_blank">tool page</a>] [<a href="papers/cmsb2018.pdf" target="_blank">paper</a>]
<li> <b>NUFEB</b>: Agent-based Modelling of Microbial Communities
[<a href="https://github.com/NUFEB" target="_blank">tool page</a>] [<a href="https://doi.org/10.1371/journal.pone.0181965" target="_blank">paper</a>]
<li><b>BioPSy</b>: Guaranteed parameter set synthesis for biological system models in SBML
[<a href="https://github.com/dreal/biology" target="_blank">tool page</a>] [<a href="papers/cmsb2015-biopsy.pdf" target="_blank">paper</a>]
<li><b>smc4mdp</b>: Statistical model checking for Markov Decision Processes
[<a href="tools/smc4mdp.html">tool page</a>] [<a href="papers/QESTfinal.pdf" target="_blank">paper</a>]
<li><b>SReach</b>: Statistical model checker for bounded reachability problems in hybrid systems
[<a href="https://github.com/dreal/SReach" target="_blank">tool page</a>] [<a href="papers/SReach.pdf" target="_blank">paper</a>]
<li><b>pbnwrap</b>: A parallel statistical model checker for Boolean networks
[<a href="tools/pbnwrap.html">tool page</a>] [<a href="https://doi.org/10.1109/HLDVT.2016.7748271" target="_blank">paper</a>]
<li><b>ca</b>: A parallel simulator for the rhombic dodecahedron cellular automaton, with application to 3D fluid-dynamics simulation [<a href="tools/ca.html">tool page</a>]
</ul>
</p>
<br>
<a href="https://pzuliani.github.io/">Home</a>
</body>
</html>