about.html

<div class="modal-dialog">
    <div class="modal-content">
        <div class="modal-header">
            <button type="button" class="close" data-dismiss="modal"><span aria-hidden="true">&times;</span><span class="sr-only">Close</span></button>
            <h4 class="modal-title" id="about-dialog-title">About</h4>
        </div>
        <div class="modal-body">
            <p><span class="small-caps">Caal</span> (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communicating Systems) and its timed extension TCCS (Timed CCS).</p>
            <p>The tool allows to edit CCS/TCCS processes, explore the generated labelled transition systems and verify their correctness via the equivalence checking approach (e.g. strong/weak and timed/untimed bisimulation, and strong/weak and timed/untimed trace equivalence checking) and the model checking approach (determining whether a given process satisfies a HML formula with recursion, including a generation of distinguishing formulae). Both verification techniques support visualization of counter examples via equivalence and model checking games.</p>
            <p>The tool was designed for educational purposes and all the verification algorithms support on-the-fly state space exploration based on the notion of dependency graphs. The main goal of <span class="small-caps">Caal</span> is to provide a modern tool to support teaching of concurrency, and it closely follows the approach described in the book <a href="http://rsbook.cs.aau.dk" target="_blank">Reactive Systems: Modelling, Specification and Verification</a>.</p>
            <p>The tool is distributed under the <a href="http://opensource.org/licenses/MIT" target="_blank">MIT License</a>.</p>
            <p><strong>Authors</strong><br />
            Jacob Karstensen Wortmann, Jesper Riemer Andersen, Mathias Munk Hansen, Nicklas Andersen, Simon Reedtz Olesen, and Søren Enevoldsen.</p>
            <p><strong>Project Supervisors</strong><br />
            Kim Guldstrand Larsen and Jiri Srba.</p>
            <p><strong>Contact</strong><br />
            Email: <a href="mailto:caal@cs.aau.dk">caal@cs.aau.dk</a>.<p>
        </div>
        <div class="modal-footer">
            <div><p id="version" class="text-muted"></p></div>
            <button type="button" class="btn btn-primary" data-dismiss="modal">Okay</button>
        </div>
    </div>
</div>