Made first draft of website
This commit is contained in:
Joshua Moerman
parent
d6fee19f17
commit
b76f5c8476
6 changed files with 407 additions and 0 deletions
BIN
ginger-cat-713.png
Normal file
BIN
ginger-cat-713.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 65 KiB |
BIN
ginger-cat-718.png
Normal file
BIN
ginger-cat-718.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 99 KiB |
BIN
ginger-cat-746.png
Normal file
BIN
ginger-cat-746.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 89 KiB |
155
index.html
Normal file
155
index.html
Normal file
|
|
@ -0,0 +1,155 @@
|
||||||
|
<!DOCTYPE html>
|
||||||
|
<html lang="en">
|
||||||
|
<head>
|
||||||
|
<meta charset="utf-8">
|
||||||
|
<title>BaaS: Bisimulation as a Service</title>
|
||||||
|
|
||||||
|
<link rel="stylesheet" media="screen" href="style.css">
|
||||||
|
|
||||||
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
||||||
|
<meta name="author" content="Joshua Moerman">
|
||||||
|
<meta name="description" content="Checking behavioural equivalence was never this easy!">
|
||||||
|
</head>
|
||||||
|
|
||||||
|
<!--
|
||||||
|
Grapje voor 1 april. We moeten nog plaatjes van onszelf toevoegen.
|
||||||
|
Misschien ook iets betere plaatjes dan deze katjes...
|
||||||
|
|
||||||
|
Hier zijn wat goede gratis plaatjes te vinden:
|
||||||
|
https://fresh-folk.com/
|
||||||
|
https://glazestock.com/
|
||||||
|
https://humaaans.com/
|
||||||
|
https://icons8.com/ouch
|
||||||
|
https://illlustrations.co/
|
||||||
|
https://isometric.online/
|
||||||
|
https://lukaszadam.com/illustrations
|
||||||
|
https://manypixels.co/gallery/
|
||||||
|
https://opendoodles.com/
|
||||||
|
https://undraw.co/
|
||||||
|
https://woobro.design/
|
||||||
|
|
||||||
|
Misschien moeten we ook een echt lijstje maken voor bisimulatie pakketen.
|
||||||
|
Er zijn tools eschikbaar, bijv. in model checkers zoals MCRL2 en Storm,
|
||||||
|
maar ook CoPar uit Erlangen is goed om naar te linken.
|
||||||
|
Kan ook op een andere pagina, of in een FAQ.
|
||||||
|
|
||||||
|
Groetjes,
|
||||||
|
Joshua
|
||||||
|
-->
|
||||||
|
|
||||||
|
<body>
|
||||||
|
<div>
|
||||||
|
<section class="intro">
|
||||||
|
<header>
|
||||||
|
<h1>BaaS</h1>
|
||||||
|
<h2>Bisimulation as a Service</h2>
|
||||||
|
</header>
|
||||||
|
|
||||||
|
<div class="summary">
|
||||||
|
<p>Check behavioural equivalence of your models NOW!
|
||||||
|
</div>
|
||||||
|
</section>
|
||||||
|
|
||||||
|
<div class="main">
|
||||||
|
<div class="middle">
|
||||||
|
<h3>What we do as BaaS</h3>
|
||||||
|
<p>We provide an online service for bisimulation checking.
|
||||||
|
Developers can now check behavioural equivalence with the touch of a button, increasing their productivity.
|
||||||
|
We support many types of bisimulation, including the latest up-to techniques.
|
||||||
|
|
||||||
|
<p>You can register for a monthly subscription which allows you to check many models.
|
||||||
|
We provide a free plan with reduced functionality.
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div class="solide grid">
|
||||||
|
<div>
|
||||||
|
<img class="cat" src="ginger-cat-746.png"/>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
<h3>What is a bisimulation?</h3>
|
||||||
|
<p>Two systems are bisimilar if they match each other's moves.
|
||||||
|
In this sense, each of the systems cannot be distinguished from the other by an observer.
|
||||||
|
|
||||||
|
<p>A bisimulation relation is a certificate of this equivalence.
|
||||||
|
Our service computes this certificate automatically for you.
|
||||||
|
This makes our service trustworthy and secure, as it does not only return a binary output.
|
||||||
|
|
||||||
|
<p>If your system contains a bug, our service will not be able to produce this certificate.
|
||||||
|
Instead, it will return a counterexample, which can be used to resolve the bug.
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
<h3>Efficient</h3>
|
||||||
|
<p>Our algorithms are state-of-the art, using up-to techniques, making us the most efficient BaaS.
|
||||||
|
These up-to-techniques compress the bisimulation by using algebraic and coalgebraic properties of the system.
|
||||||
|
It allows the bisimulation algorithm to exit early and find bugs more quickly.
|
||||||
|
This is not only good for efficiency and throughput, it also shrinks the size of the certificate.
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
<img class="cat" src="ginger-cat-713.png"/>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
<!-- Todo: plaatje -->
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div>
|
||||||
|
<h3>Testimonials</h3>
|
||||||
|
<p>Todo.
|
||||||
|
Lorem Ipsum is slechts een proeftekst uit het drukkerij- en zetterijwezen. Lorem Ipsum is de standaard proeftekst in deze bedrijfstak sinds de 16e eeuw, toen een onbekende drukker een zethaak met letters nam en ze door elkaar husselde om een font-catalogus te maken. Het heeft niet alleen vijf eeuwen overleefd maar is ook, vrijwel onveranderd, overgenomen in elektronische letterzetting.
|
||||||
|
</div>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div class="middle">
|
||||||
|
<h3>BaaS Plans</h3>
|
||||||
|
|
||||||
|
<p>Get in touch to inquire about the pricing.
|
||||||
|
Below is a table of the different features we provide.
|
||||||
|
|
||||||
|
<table>
|
||||||
|
<tr class="rowheader"><th>You get<th>Free Plan<th>Premium Plan
|
||||||
|
<tr><td>Maximal number of models per month<td>10<td>9000
|
||||||
|
<tr><td>Maximal number of states per model<td>50<td>1000000
|
||||||
|
<tr><td>Maximal number of transitions per model<td>100<td>9000000
|
||||||
|
|
||||||
|
<tr class="rowheader"><th>Features<th><th>
|
||||||
|
<tr><td>Standard (strong) bisimulation<td>✓<td>✓
|
||||||
|
<tr><td>Branching bisimulation<td><td>✓
|
||||||
|
<tr><td>Bisimulation up-to transitive closure and congruence<td><td>✓
|
||||||
|
<tr><td>Bisimulation up-to bisimulation<td><td>✓
|
||||||
|
<tr><td>CEGAR & CEGIS API<td><td>✓
|
||||||
|
<tr><td>O(m log n) algorithms<td><td>✓
|
||||||
|
<tr><td>Big Data Types<!-- Credits to Freek Wiedijk for this joke! --><td><td>✓
|
||||||
|
|
||||||
|
<tr class="rowheader"><th>Models<th><th>
|
||||||
|
<tr><td>Deterministic Automata<td>✓<td>✓
|
||||||
|
<tr><td>Nondeterministic Automata<td><td>✓
|
||||||
|
<tr><td>Weighted Automata<td>✓<td>✓
|
||||||
|
<tr><td>Weighted Tree Automata<td><td>✓
|
||||||
|
<tr><td>Deterministic Register Automata<td><td>✓
|
||||||
|
<tr><td>Quantum Software Product Line Systems<td><td>✓
|
||||||
|
<tr><td>Labelled Transition Blockchain Coalgebras<td><td>✓
|
||||||
|
</table>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<div class="middle">
|
||||||
|
<h3>Team</h3>
|
||||||
|
<p>A CEO, some developers, some designers, etc.
|
||||||
|
All of them have a PhD in related fields, etc.
|
||||||
|
"Bisimulation evangelist."
|
||||||
|
<!-- Dit moet nog worden uitgebreid -->
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<footer>
|
||||||
|
Copyright 2020 JM
|
||||||
|
<!-- willen we een email adres? -->
|
||||||
|
</footer>
|
||||||
|
</div>
|
||||||
|
|
||||||
|
<!-- A bit of a hack. This creates the cats and star! -->
|
||||||
|
<aside></aside>
|
||||||
|
</div>
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
4
push.sh
Executable file
4
push.sh
Executable file
|
|
@ -0,0 +1,4 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
rsync -az --exclude '.git' --exclude "push.sh" ./ joshua@matser-moerman.eu:/var/www/bisimulation-online/
|
||||||
|
|
||||||
248
style.css
Normal file
248
style.css
Normal file
|
|
@ -0,0 +1,248 @@
|
||||||
|
body {
|
||||||
|
margin: 0;
|
||||||
|
color: #034;
|
||||||
|
font-family: 'Open Sans', Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;
|
||||||
|
font-size: 13pt;
|
||||||
|
line-height: 1.25em;
|
||||||
|
}
|
||||||
|
|
||||||
|
a {
|
||||||
|
color: #2babe1;
|
||||||
|
}
|
||||||
|
a:hover {
|
||||||
|
color: #034;
|
||||||
|
}
|
||||||
|
|
||||||
|
header {
|
||||||
|
margin: 0 auto;
|
||||||
|
max-width: 1040px;
|
||||||
|
position: relative;
|
||||||
|
text-align: center;
|
||||||
|
top: 0;
|
||||||
|
width: 100%;
|
||||||
|
z-index: 1;
|
||||||
|
}
|
||||||
|
h1 {
|
||||||
|
font-family: 'Adelle W01 Bold', 'Arvo', Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
|
||||||
|
font-size: 90px;
|
||||||
|
font-weight: 500;
|
||||||
|
|
||||||
|
background-color: #fff;
|
||||||
|
color: #034;
|
||||||
|
display: inline-block;
|
||||||
|
min-height: 18px;
|
||||||
|
margin: 40px auto 0;
|
||||||
|
padding: 0 10px;
|
||||||
|
z-index: 2;
|
||||||
|
}
|
||||||
|
/* Creates horizontal line */
|
||||||
|
h1:after {
|
||||||
|
background-color: #dd3b2a;
|
||||||
|
content: '';
|
||||||
|
height: 12px;
|
||||||
|
left: 0;
|
||||||
|
margin-top: 2px;
|
||||||
|
position: absolute;
|
||||||
|
width: 100%;
|
||||||
|
z-index: -1;
|
||||||
|
}
|
||||||
|
h2 {
|
||||||
|
color: #dd3b2a;
|
||||||
|
font-size: 22px;
|
||||||
|
font-style: italic;
|
||||||
|
font-weight: 400;
|
||||||
|
|
||||||
|
text-align: right;
|
||||||
|
max-width: 695px;
|
||||||
|
margin: -10px auto 0;
|
||||||
|
width: 100%;
|
||||||
|
}
|
||||||
|
|
||||||
|
.summary {
|
||||||
|
position: relative;
|
||||||
|
max-width: 1040px;
|
||||||
|
margin: 20px auto;
|
||||||
|
z-index: 2;
|
||||||
|
}
|
||||||
|
.summary p {
|
||||||
|
color: #dd3b2a;
|
||||||
|
font-style: italic;
|
||||||
|
text-align: right;
|
||||||
|
max-width: 695px;
|
||||||
|
margin: 10px auto 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
.intro {
|
||||||
|
background: linear-gradient(to bottom, #ffffff 0%, #edf6ff 100%);
|
||||||
|
height: 450px;
|
||||||
|
}
|
||||||
|
|
||||||
|
h3 {
|
||||||
|
color: #dd3b2a;
|
||||||
|
font-family: 'Adelle W01 Bold', 'Arvo', Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
|
||||||
|
font-size: 40px;
|
||||||
|
font-weight: 500;
|
||||||
|
line-height: 1em;
|
||||||
|
}
|
||||||
|
|
||||||
|
.main {
|
||||||
|
background-color: rgba(255, 255, 255, 0.9);
|
||||||
|
border-top: 5px solid #dd3b2a;
|
||||||
|
border-bottom: 5px solid #2babe1;
|
||||||
|
position: relative;
|
||||||
|
width: 100%;
|
||||||
|
z-index: 3;
|
||||||
|
}
|
||||||
|
|
||||||
|
.main p, .main h3, .main .middle {
|
||||||
|
max-width: 495px;
|
||||||
|
}
|
||||||
|
|
||||||
|
.middle {
|
||||||
|
margin: 25px auto 40px auto;
|
||||||
|
}
|
||||||
|
|
||||||
|
.solide {
|
||||||
|
background: #edf6ff;
|
||||||
|
border-top: 5px solid #cce4fb;
|
||||||
|
border-bottom: 5px solid #cce4fb;
|
||||||
|
margin: 25px 0;
|
||||||
|
|
||||||
|
display: grid;
|
||||||
|
grid-template-columns: auto auto;
|
||||||
|
grid-gap: 10px;
|
||||||
|
padding: 0 10%;
|
||||||
|
align-items: center;
|
||||||
|
}
|
||||||
|
|
||||||
|
.solide > div {
|
||||||
|
padding: 20px 0;
|
||||||
|
max-width: 495px;
|
||||||
|
margin-left:auto;
|
||||||
|
margin-right:auto;
|
||||||
|
}
|
||||||
|
|
||||||
|
.solide .cat {
|
||||||
|
max-height: 250px;
|
||||||
|
}
|
||||||
|
|
||||||
|
table {
|
||||||
|
border-collapse: collapse;
|
||||||
|
}
|
||||||
|
|
||||||
|
table th {
|
||||||
|
padding: 15px;
|
||||||
|
}
|
||||||
|
|
||||||
|
table td {
|
||||||
|
text-align: center;
|
||||||
|
max-width: 200px;
|
||||||
|
padding: 10px;
|
||||||
|
}
|
||||||
|
|
||||||
|
.rowheader {
|
||||||
|
border-bottom: 2px solid #dd3b2a;
|
||||||
|
margin-bottom: 15px;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* star */
|
||||||
|
@keyframes spin {
|
||||||
|
from { transform: rotate(0deg); }
|
||||||
|
to { transform: rotate(360deg); }
|
||||||
|
}
|
||||||
|
aside:before {
|
||||||
|
animation: spin 37s infinite linear;
|
||||||
|
/*background: url('../images/starburst.png') center top no-repeat;*/
|
||||||
|
background: url('data:image/svg+xml;base64, PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4NCjwhLS0gR2VuZXJhdG9yOiBBZG9iZSBJbGx1c3RyYXRvciAxNi4wLjQsIFNWRyBFeHBvcnQgUGx1Zy1JbiAuIFNWRyBWZXJzaW9uOiA2LjAwIEJ1aWxkIDApICAtLT4NCjwhRE9DVFlQRSBzdmcgUFVCTElDICItLy9XM0MvL0RURCBTVkcgMS4xLy9FTiIgImh0dHA6Ly93d3cudzMub3JnL0dyYXBoaWNzL1NWRy8xLjEvRFREL3N2ZzExLmR0ZCI+DQo8c3ZnIHZlcnNpb249IjEuMSIgaWQ9IkxheWVyXzEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyIgeG1sbnM6eGxpbms9Imh0dHA6Ly93d3cudzMub3JnLzE5OTkveGxpbmsiIHg9IjBweCIgeT0iMHB4Ig0KCSB3aWR0aD0iOTIyLjU3NHB4IiBoZWlnaHQ9IjkyMS4wNzJweCIgdmlld0JveD0iMCAwIDkyMi41NzQgOTIxLjA3MiIgZW5hYmxlLWJhY2tncm91bmQ9Im5ldyAwIDAgOTIyLjU3NCA5MjEuMDcyIg0KCSB4bWw6c3BhY2U9InByZXNlcnZlIj4NCjxwb2x5Z29uIGZpbGw9IiNGRkZGRkYiIHBvaW50cz0iNzQ1Ljk0NSw4MjkuMDQyIDUxNS4wNzIsNTc3LjIyMiA1NzIuNjM1LDkxMy45NzIgNDY0LjE0Niw1OTAuMDIgMzc5Ljc2Myw5MjEuMDcyIDQxMi40MjEsNTgwLjk5OSANCgkyMDAuNjgyLDg0OS4xMDggMzY4LjgzNSw1NTEuNzIxIDY2LjM1Miw3MTAuNTI2IDM0MC45MjgsNTA3LjIzOSAwLDUyOS4yOTEgMzMzLjUyLDQ1NS4yNTYgMTMuMTAxLDMzNi43MzEgMzQ3Ljg5Niw0MDQuNzU2IA0KCTEwMy4zOTMsMTY2LjE1MyAzODEuNTc2LDM2NC40NzEgMjU1LjI1Nyw0Ny4wNDUgNDI4LjcyNCwzNDEuMzY2IDQ0Mi40MzYsMCA0ODEuMTk3LDMzOS40MzUgNjMyLjU2NiwzMy4xNTcgNTI5LjkyLDM1OS4wMTIgDQoJNzkyLjc3NiwxNDAuNzgyIDU2Ni40NjgsMzk2LjcxNCA4OTUuMzU2LDMwNC4yNjQgNTg0LjUxNCw0NDYuMDIxIDkyMi41NzQsNDk1LjMzNiA1ODAuOTUxLDQ5OC40MDkgODY5LjcyNCw2ODAuOTY0IA0KCTU1Ni4zODgsNTQ0LjgxNSAiLz4NCjwvc3ZnPg0K') center top no-repeat;
|
||||||
|
content: '';
|
||||||
|
height: 921px;
|
||||||
|
left: 50%;
|
||||||
|
margin-left: -461.5px;
|
||||||
|
position: fixed;
|
||||||
|
top: 60px;
|
||||||
|
width: 923px;
|
||||||
|
}
|
||||||
|
|
||||||
|
/* cats */
|
||||||
|
@keyframes rise {
|
||||||
|
from { top: 100%; }
|
||||||
|
to { top: 165px; }
|
||||||
|
}
|
||||||
|
aside:after {
|
||||||
|
animation: rise 1.25s 1 ease;
|
||||||
|
background: url('ginger-cat-718.png') center no-repeat;
|
||||||
|
content: '';
|
||||||
|
position: fixed;
|
||||||
|
z-index: 1;
|
||||||
|
left: 50%;
|
||||||
|
margin-left: -330px;
|
||||||
|
width: 660px;
|
||||||
|
height: 640px;
|
||||||
|
top: 165px;
|
||||||
|
}
|
||||||
|
|
||||||
|
footer {
|
||||||
|
color: #fff;
|
||||||
|
padding: 20px;
|
||||||
|
background: #00374f;
|
||||||
|
font-size: 22px;
|
||||||
|
text-align: center;
|
||||||
|
}
|
||||||
|
footer a {
|
||||||
|
text-decoration: underline;
|
||||||
|
}
|
||||||
|
footer a:hover {
|
||||||
|
color: #fff;
|
||||||
|
}
|
||||||
|
|
||||||
|
@media (max-width: 750px) {
|
||||||
|
.intro {
|
||||||
|
height: 320px;
|
||||||
|
}
|
||||||
|
aside:before {
|
||||||
|
top: 80px;
|
||||||
|
}
|
||||||
|
@keyframes rise-short {
|
||||||
|
from { top: 100%; }
|
||||||
|
to { top: 40px; }
|
||||||
|
}
|
||||||
|
aside:after {
|
||||||
|
background-size: 67%;
|
||||||
|
animation: rise-short 1.5s 1 ease;
|
||||||
|
top: 40px;
|
||||||
|
}
|
||||||
|
h1 {
|
||||||
|
font-size: 60px;
|
||||||
|
min-height: 50px;
|
||||||
|
margin-top: 35px;
|
||||||
|
}
|
||||||
|
.main footer {
|
||||||
|
font-size: 18px;
|
||||||
|
}
|
||||||
|
.middle {
|
||||||
|
/*width: 85%;*/
|
||||||
|
}
|
||||||
|
.solide {
|
||||||
|
grid-template-columns: auto;
|
||||||
|
grid-gap: 0px;
|
||||||
|
}
|
||||||
|
.solide > div {
|
||||||
|
padding: 0px;
|
||||||
|
}
|
||||||
|
.solide .cat {
|
||||||
|
max-height: 140px;
|
||||||
|
padding: 10px;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
@media (max-width: 500px) {
|
||||||
|
body {
|
||||||
|
font-size: 15pt;
|
||||||
|
}
|
||||||
|
.solide {
|
||||||
|
padding: 5px;
|
||||||
|
}
|
||||||
|
.middle {
|
||||||
|
padding: 5px;
|
||||||
|
}
|
||||||
|
}
|
||||||
Loading…
Add table
Reference in a new issue