UP

The HAT trick

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:

Foundational Studies

Z and/in HOL

Methods for Formal Treatment of Secure Systems


UP HOME © RBJ created 95/7/1 modified 96/11/25