The STG Tool Page

F Ployette, F-X Ponscarme

IRISA/INRIA
Rennes

STG is an automatic test generation tool for reactive systems described by iosts


F Ployette, F-X Ponscarme, June 11, 2007