Next: Traversals
Up: User's Manual
Previous: FSM
  Contents
Functions for creating and manipulating transition relations are provided by
this package.
More specifically:
- TR creation: from next-state functions and variable arrays
(inputs, present/next-state).
From scratch (GpCTo be done.).
- TR sorting: variants of the IWLS95 heuristics are provided, the goal
being a good partition sorting for efficient early smoothing with conjunctive
partitioning
- TR clustering: linear conjunction of partitions controlled by a
size threshold.
- TR subsetting: an external constraint is used to constrain a TR
by means of conjunction.
- TR partitioning
- Abstractions oriented to approximate reachability.
Gianpiero Cabodi
2001-03-25