Tools for DEOS Programming Development

Currently, the DEOS process utilizes the existing software development support tools as much as possible. Yet, the DEOS project is developing specifi c tools for system software verifi cation and dependability testing support.