Google Research

Predicate abstraction for reachability analysis of hybrid systems

Rajeev Alur
Thao Dang
Franjo Ivancic
ACM Trans. Embedded Comput. Syst., 5 (2006), pp. 152-199
Google Scholar

Abstract

Research Areas

×