hGen: A Random CNF Formula Generator for Hybrid Languages

C. Areces and J. Heguiabehere. hGen: A Random CNF Formula Generator for Hybrid Languages. In Methods for Modalities 3 - M4M-3, Nancy, France, Nancy, France, 2003.

Download

[pdf] 

Abstract

hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\downarrow, A).

BibTeX

@InProceedings{Areces2003c,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "{Methods for Modalities 3 - M4M-3, Nancy, France}",
  title =        "hGen: {A} Random {CNF} Formula Generator for Hybrid
                 Languages",
  year =         "2003",
  address =      "Nancy, France",
  abstract =     "hGen is a random CNF (conjunctive normal form)
                 generator of formulas for sublanguages of
                 H(@,\downarrow, A).",
  keywords =     "hybrid logics, testing, random generation, cnf",
}