/pFaces-iXplore

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

Primary LanguageMATLABMIT LicenseMIT

Stargazers