Sahvy is a tool for verifying sample and hold systems composed of a continuous-time physical plant and a periodic discrete-time software controller.
The tool is introduced in the following paper:
Simko G., Jackson E. K. (2014). A Bounded Model Checking Tool for Periodic Sample-hold Systems. 17th International Conference on Hybrid Systems: Computation and Control (HSCC).
The examples and the precompiled 64-bit Windows binary executable of the tool are downloadable from here and the source code is found at http://formula.codeplex.com/ under the Src/More/Sahvy directory. The source code for the interface between Sahvy and Flow* is found at https://github.com/gsimko/InterfacingFlowstar.