Predicate abstraction for reachability analysis of hybrid systems

Embedded systems are increasingly finding their way into a growing range of physical devices. These embedded systems often consist of a collection of software threads interacting concurrently with ...