I spent ten years working in ICL with a team originally known as the formal methods team, later as the High Assurance Team (HAT).
I am spending a little time doing an archaeological dig through the electronic records of the work I did during that time, and have pulled out three themes:
© 
created 95/7/1 modified 96/11/25