The prop package

Manager of generic properties

By Marco Roveri, Roberto Cavada


This file is responsible of manipulate all the informations associated to a given property, i.e. the kind of property, the property itself, its cone of influence, if the property is not satisfied the associated copunter-example, the associated FSM in different formats (flatten sexp, flatten boolean sexp, bdd, and BE).
Last updated on 2009/01/30 15h:04