Formal Verification Systems Evaluation Program (->"Computer Security Basics", Russell/Gangemi, ORA 1991)