HyperSTL falsification (Nguyen et al, MEMOCODE 2017) artifacts

This contains the artifacts used for the 2017 MEMOCODE paper, specifically to falsify hyperproperties over signal temporal logic (STL). It is dependent upon the Breach toolset, which must first be installed, and reduces hyperproperty falsification to normal STL falsification. It does not include any proprietary examples from Toyota, some of which are discussed in the paper.

MEMOCODE 2017 artifacts