Yeah SRI was what emerged when military/intelligence related work needed to be separated from Stanford University proper as a result of campus protests in the 60s over the university's involvement in chemical weapons and counterinsurgency research.
If that is true it gives me the kind of background I was looking for.
Yes. I dealt with them a lot in my aerospace days.
Boyer and Moore used to work there. I used their theorem prover for early proof of correctness work.