Titlebook: Automated Technology for Verification and Analysis; 9th International Sy Tevfik Bultan,Pao-Ann Hsiung Conference proceedings 2011 Springer-

arrogant

Encoding

osteoclasts

Maria Ragland,Khairy M. Solimanstates are grouped together in a finite index partition at the price of a non-deterministic over approximation of the transition relation. The main contribution of this work is a technique to reduce the state explosion generated by the discretization: exploiting structural properties of ODE systems,