99 lines
4.0 KiB
HTML
99 lines
4.0 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en-us" dir="ltr">
|
|
<head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script>
|
|
<meta charset="utf-8">
|
|
|
|
<meta name="viewport" content ="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
|
|
<title>About | Formal Methods Tools</title>
|
|
|
|
|
|
<meta name="keywords" content="Formal Methods Tools">
|
|
<meta property="og:locale" content='en_US'>
|
|
<meta property="og:type" content="article">
|
|
<meta property="og:title" content="About">
|
|
<meta property="og:description" content="The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software">
|
|
<meta property="og:url" content="http://localhost:1313/about/">
|
|
<meta property="og:image" content="images/%!s(<nil>)">
|
|
<link rel="canonical" href="http://localhost:1313/about/">
|
|
|
|
<link rel="apple-touch-icon" sizes="180x180" href='http://localhost:1313/apple-touch-icon.png'>
|
|
<link rel="icon" type="image/png" sizes="32x32" href='http://localhost:1313/favicon-32x32.png'>
|
|
<link rel="icon" type="image/png" sizes='16x16' href='http://localhost:1313/favicon-16x16.png'>
|
|
<link rel="manifest" href='http://localhost:1313/site.webmanifest'>
|
|
|
|
<link rel="stylesheet" href="http://localhost:1313/css/styles.e5b470edf89c3e1b9498ce83a3fd0a2e73e9d06958e2c3a1af8d89781f9f2bf612b21d5e45ab8f4aef773661de2529437838673a136797a6a8aaab7759f94ded.css" integrity="sha512-5bRw7ficPhuUmM6Do/0KLnPp0GlY4sOhr42JeB+fK/YSsh1eRauPSu93NmHeJSlDeDhnOhNnl6aoqqt3WflN7Q==">
|
|
|
|
<link href="/css/fontawesome.css" rel="stylesheet" />
|
|
<link href="/css/brands.css" rel="stylesheet" />
|
|
<link href="/css/solid.css" rel="stylesheet" />
|
|
|
|
|
|
|
|
|
|
|
|
</head>
|
|
<body>
|
|
<header>
|
|
<h1><a href="/">Formal Methods Tools</a></h1>
|
|
|
|
<nav>
|
|
<ul>
|
|
<li>
|
|
<a href="/tools/">Tools</a>
|
|
</li>
|
|
<li>
|
|
<a href="/taxonomies/">Data</a>
|
|
</li>
|
|
<li>
|
|
<a href="/about/">About</a>
|
|
</li>
|
|
</ul>
|
|
</nav>
|
|
|
|
|
|
</header>
|
|
<main>
|
|
|
|
|
|
<div id="page-header">
|
|
<h1>About</h1>
|
|
|
|
<span class="subtitle">Learn more about the Formal Methods Tools project</span>
|
|
|
|
|
|
</div>
|
|
|
|
<section>
|
|
<p>The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners.</p>
|
|
<h2 id="key-objectives">Key Objectives</h2>
|
|
<ul>
|
|
<li>Provide a comprehensive list of tools for formal methods.</li>
|
|
<li>Group tools by rich metadata to support collaboration and boost tools’ strengths.</li>
|
|
<li>Foster a collaborative community for tool development and support.</li>
|
|
</ul>
|
|
<h2 id="whos-behind-this">Who’s Behind This?</h2>
|
|
<p>Howdy. My name is Landon Taylor. I sometimes go by mossBiscuits.
|
|
This is one of my hobby projects.
|
|
I have a passion for formal methods. When I started learning about verification, there was a sharp barrier to entry due partially to the sprawl of content online.
|
|
I wanted to solve this problem, so I have been chipping away at this website for a while now.</p>
|
|
<p>I love to collaborate, either on this website or on any of my other formal methods projects. Please feel free to <a href="https://landonjtaylor.net/contact/">reach out</a> if you want to talk.</p>
|
|
<h2 id="get-involved">Get Involved</h2>
|
|
<p>I welcome contributions from anyone interested in formal methods. Add tools you love or maintain, report issues, or fix a typo. Learn more on the <a href="/contribute">Contribute</a> page.</p>
|
|
|
|
</section>
|
|
|
|
|
|
|
|
|
|
</main>
|
|
<footer>
|
|
<p><a href="/contribute">Contribute</a> | <a href="/about">About</a> | <a href="/license">License</a> | <a href="/privacy">Privacy</a> </p>
|
|
|
|
<p>© Copyright 2025. An open-source project.</p>
|
|
|
|
</footer>
|
|
</body>
|
|
</html>
|