Computer Aided Verification: 6th International Conference, CAV '94 Stanford