The project aims to develop theories and implement prototype software tools for the formal verification  synthesis and analysis of *complex evolving systems* Such systems may involve hardware  software and human organizations  though very common in practice  as yet such systems lack robust scientific and engineering support