Software Open Access

FORKLIFT

Nicolas Mazzocchi


JSON-LD (schema.org) Export

{
  "description": "<p>The program FORKLIFT is an inclusion checker for B&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: &quot;0&quot;&nbsp;if L(A) is a subset of L(B), it is &quot;1&quot;&nbsp;if L(A) is NOT a subset of L(B), otherwise it is&nbsp;&quot;127&quot; when the inclusion has not been computed. The input format&nbsp;of the automata is described here:&nbsp;http://languageinclusion.org/doku.php?id=tools#the_ba_format</p>", 
  "license": "", 
  "creator": [
    {
      "@id": "https://orcid.org/0000-0001-6425-5369", 
      "@type": "Person", 
      "name": "Nicolas Mazzocchi"
    }
  ], 
  "url": "https://zenodo.org/record/6552870", 
  "codeRepository": "https://github.com/Mazzocchi/FORKLIFT/tree/v1.0", 
  "datePublished": "2022-05-16", 
  "version": "v1.0", 
  "contributor": [
    {
      "@id": "https://orcid.org/0000-0001-9403-2860", 
      "@type": "Person", 
      "name": "Kyveli Doveri"
    }, 
    {
      "@id": "https://orcid.org/0000-0002-3625-6003", 
      "@type": "Person", 
      "name": "Pierre Ganty"
    }, 
    {
      "@id": "https://orcid.org/0000-0001-6425-5369", 
      "@type": "Person", 
      "name": "Nicolas Mazzocchi"
    }
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.6552870", 
  "@id": "https://doi.org/10.5281/zenodo.6552870", 
  "@type": "SoftwareSourceCode", 
  "name": "FORKLIFT"
}
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