The talk will describe the algorithms behind the tool HSolver (http://hsolver.sourceforge.net) that allows the safety verification of hybrid systems. Furthermore, it will discuss some first ideas to extending it with falsification capabilities. These should exploit information generated by the verification engine for guiding the search for counter-examples (i.e., for trajectories from an initial to an unsafe state).