Next:
InVeSt
Up:
Specification and validation environment
Previous:
The IF.OPEN tool-set
Abstraction and reduction techniques
Subsections
InVeSt
The LIVE and SLICE tools