Software Open Access

FORKLIFT

Nicolas Mazzocchi


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.6552870", 
  "title": "FORKLIFT", 
  "issued": {
    "date-parts": [
      [
        2022, 
        5, 
        16
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Nicolas Mazzocchi"
    }
  ], 
  "version": "v1.0", 
  "type": "article", 
  "id": "6552870"
}
79
6
views
downloads
All versions This version
Views 7979
Downloads 66
Data volume 4.4 MB4.4 MB
Unique views 5050
Unique downloads 66

Share

Cite as