Software Open Access

FORKLIFT

Nicolas Mazzocchi


DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.6552870</identifier>
  <creators>
    <creator>
      <creatorName>Nicolas Mazzocchi</creatorName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0001-6425-5369</nameIdentifier>
    </creator>
  </creators>
  <titles>
    <title>FORKLIFT</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2022</publicationYear>
  <contributors>
    <contributor contributorType="Researcher">
      <contributorName>Kyveli Doveri</contributorName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0001-9403-2860</nameIdentifier>
    </contributor>
    <contributor contributorType="Researcher">
      <contributorName>Pierre Ganty</contributorName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0002-3625-6003</nameIdentifier>
    </contributor>
    <contributor contributorType="Researcher">
      <contributorName>Nicolas Mazzocchi</contributorName>
      <nameIdentifier nameIdentifierScheme="ORCID" schemeURI="http://orcid.org/">0000-0001-6425-5369</nameIdentifier>
    </contributor>
  </contributors>
  <dates>
    <date dateType="Issued">2022-05-16</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/6552870</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsSupplementTo">https://github.com/Mazzocchi/FORKLIFT/tree/v1.0</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.6552869</relatedIdentifier>
  </relatedIdentifiers>
  <version>v1.0</version>
  <rightsList>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">&lt;p&gt;The program FORKLIFT is an inclusion checker for B&amp;uuml;chi automata. It takes two automata as input, let us call the first A and the second B. Upon termination, FORKLIFT exit code is: &amp;quot;0&amp;quot;&amp;nbsp;if L(A) is a subset of L(B), it is &amp;quot;1&amp;quot;&amp;nbsp;if L(A) is NOT a subset of L(B), otherwise it is&amp;nbsp;&amp;quot;127&amp;quot; when the inclusion has not been computed. The input format&amp;nbsp;of the automata is described here:&amp;nbsp;http://languageinclusion.org/doku.php?id=tools#the_ba_format&lt;/p&gt;</description>
  </descriptions>
</resource>
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