mkhaled87/pFaces-iXplore
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.
MATLABMIT
iXplore is an input-based state-space exploration engine. It finds input traces that satisfy/falsify a given requirement.
MATLABMIT