cav2020_ae.html


<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<title>CAV 2020 Artifact Evaluation</title>
<link rel="stylesheet" href="css/style.css" type="text/css" media="screen" />
</head>
<body>
  <div id="wrap">
    <div id="header">
      <h1>CAV 2020 Artifact Evaluation</h1>
    </div>

    <div id="content">
      <h3>This is a simple placeholder page for the companion artifact of the
      CAV 2020 paper "A Toolchain to Produce Verified OCaml Libraries".</h3>
      <ul>
	<li>The Virtual Box .ova file can be found
	<a href="https://drive.google.com/open?id=1v3WN_F_FEbHJU_ZxHUiegtiEeDhXTGFT">here</a>.<p></p></li>
	<li><p>The plain-text instructions file can be
	    found <a href=README.md>here</a>.</p>
          <p>This contains information about the keyboard layout, login and
	password for the virtual machine user, where to find the artifact
	documentation, and finally information about the virtual machine itself
	and the platform used to prepare the virtual machine
	image.</p></li><p></p>
      </ul>
    </div>
</body>
</html>