hGen: A Random CNF Formula Generator for Hybrid Languages

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

Download: [pdf] 

Abstract:

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

BibTeX: (download)

@INPROCEEDINGS{arec:hgen03,
  author = {Areces, C. and Heguiabehere, J.},
  title = {hGen: A Random CNF Formula Generator for Hybrid Languages},
  booktitle = {{Methods for Modalities 3 - M4M-3, Nancy, France}},
  year = {2003},
  address = {Nancy, France},
  month = {September},
  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}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49