Software Open Access

FORKLIFT

Nicolas Mazzocchi


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:contributor>Kyveli Doveri</dc:contributor>
  <dc:contributor>Pierre Ganty</dc:contributor>
  <dc:contributor>Nicolas Mazzocchi</dc:contributor>
  <dc:creator>Nicolas Mazzocchi</dc:creator>
  <dc:date>2022-05-16</dc:date>
  <dc:description>The program FORKLIFT is an inclusion checker for Büchi automata. It takes two automata as input, let us call the first A and the second B. Upon termination, FORKLIFT exit code is: "0" if L(A) is a subset of L(B), it is "1" if L(A) is NOT a subset of L(B), otherwise it is "127" when the inclusion has not been computed. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format</dc:description>
  <dc:identifier>https://zenodo.org/record/6552870</dc:identifier>
  <dc:identifier>10.5281/zenodo.6552870</dc:identifier>
  <dc:identifier>oai:zenodo.org:6552870</dc:identifier>
  <dc:relation>url:https://github.com/Mazzocchi/FORKLIFT/tree/v1.0</dc:relation>
  <dc:relation>doi:10.5281/zenodo.6552869</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:title>FORKLIFT</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
80
7
views
downloads
All versions This version
Views 8080
Downloads 77
Data volume 5.1 MB5.1 MB
Unique views 5151
Unique downloads 77

Share

Cite as