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