On Mon, Jun 20, 2011 at 11:34 AM, Toshio Kuratomi <a.badger at gmail.com> wrote: > E > frama-c > gappa > ltl2ba > minisat2 I can take these. I already comaintain gappa. -- Jerry James http://www.jamezone.org/