new: Promela lib, Vaucanson, Genealogies, VerICS, PDSolver, spec patterns