Déjà vu or not? Formal Methods may be in for
a revival
Formal Methods is heavily used in the development of military
systems, but can it be more widely applied? The January 2004
Computing article on Formal Methods discusses the topic, whilst
interviewing Anthony Hall, Principal Consultant at Praxis High Integrity Systems.
- 
