62 lines
6.5 KiB
XML
62 lines
6.5 KiB
XML
<?xml version="1.0" encoding="utf-8" standalone="yes"?>
|
|
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
|
|
<channel>
|
|
<title>The Ultimate Formal Methods Toolbox on Formal Methods Tools</title>
|
|
<link>https://example.org/</link>
|
|
<description>Recent content in The Ultimate Formal Methods Toolbox on Formal Methods Tools</description>
|
|
<generator>Hugo</generator>
|
|
<language>en-us</language>
|
|
<lastBuildDate>Sat, 07 Jun 2025 00:00:00 +0000</lastBuildDate>
|
|
<atom:link href="https://example.org/index.xml" rel="self" type="application/rss+xml" />
|
|
<item>
|
|
<title>veriT</title>
|
|
<link>https://example.org/tools/verit/</link>
|
|
<pubDate>Sat, 07 Jun 2025 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/tools/verit/</guid>
|
|
<description><p>veriT is an SMT solver developed by LORIA and ULiege. It supports a wide range of theories and is designed for use in formal verification, automated reasoning, and related research areas. veriT accepts input in SMT-LIB2 and DIMACS formats and provides a command-line interface for ease of integration into verification workflows. The solver is actively maintained and distributed under the BSD license, making it suitable for both academic and industrial applications.</p></description>
|
|
</item>
|
|
<item>
|
|
<title>Yices 2</title>
|
|
<link>https://example.org/tools/yices/</link>
|
|
<pubDate>Sat, 07 Jun 2025 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/tools/yices/</guid>
|
|
<description><p>Yices is an SMT solver developed by SRI International. It is widely used for checking the satisfiability of logical formulas over various theories. It supports the SMT-LIB standard and its own input language, and provides APIs for several programming languages, making it suitable for research and industrial applications in software and hardware verification.</p>
<h2 id="apis-and-bindings">APIs and Bindings</h2>
<p>Yices is available through several interfaces, making it a convenient option to build into a project.</p></description>
|
|
</item>
|
|
<item>
|
|
<title>Z3</title>
|
|
<link>https://example.org/tools/z3/</link>
|
|
<pubDate>Fri, 02 Feb 2024 04:14:54 -0800</pubDate>
|
|
<guid>https://example.org/tools/z3/</guid>
|
|
<description><p>Z3 is a theorem prover developed by Microsoft Research, widely used for SAT &amp; SMT solving and related formal verification tasks. It supports a variety of input languages, including SMT-LIB, and offers APIs for multiple programming languages.
Z3 is open source under the MIT license and is actively maintained, making it a popular choice for research and industrial applications in software and hardware verification.</p>
<h2 id="apis-and-bindings">APIs and Bindings</h2>
<p>Z3 is available through several interfaces, making it a convenient option to build into a project.</p></description>
|
|
</item>
|
|
<item>
|
|
<title>About</title>
|
|
<link>https://example.org/about/</link>
|
|
<pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/about/</guid>
|
|
<description><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&rsquo; strengths.</li>
<li>Foster a collaborative community for tool development and support.</li>
</ul>
<h2 id="whos-behind-this">Who&rsquo;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></description>
|
|
</item>
|
|
<item>
|
|
<title>Contribute</title>
|
|
<link>https://example.org/contribute/</link>
|
|
<pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/contribute/</guid>
|
|
<description><p>Instructions coming soon. Please see <a href="https://gitmoss.fyi/fmtools/content/wiki/Contribute">https://gitmoss.fyi/fmtools/content/wiki/Contribute</a> for temporary instructions.</p></description>
|
|
</item>
|
|
<item>
|
|
<title>MIT License</title>
|
|
<link>https://example.org/license/</link>
|
|
<pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/license/</guid>
|
|
<description><p>MIT License</p>
<p>Copyright (c) 2025 Landon Taylor.</p>
<p>Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the &ldquo;Software&rdquo;), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:</p></description>
|
|
</item>
|
|
<item>
|
|
<title>Privacy</title>
|
|
<link>https://example.org/privacy/</link>
|
|
<pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
|
|
<guid>https://example.org/privacy/</guid>
|
|
<description><p>This website does not collect or track any personal data from visitors. No cookies, personalized analytics, or tracking scripts are used. No ads are shown on this website, and</p>
<p>If you choose to contribute content (such as submitting an article or comment), any information you voluntarily provide will be stored as part of the website&rsquo;s content and source code. Only the data you explicitly submit will be saved, and data is not sold by the website&rsquo;s owner. Any information you voluntarily provide as part of a code contribution becomes public information and may be used by the general public as allowed by respective laws and policies.</p></description>
|
|
</item>
|
|
</channel>
|
|
</rss>
|