SEARCH
-ID
Psychic analysis of AOL users
and their search logs
Here is search logs of 650,000 AOL users. It's very interesting to view search history of particular person and analyze his personality. Let's do it together! Read more about
AOL search database scandal
or view
research papers on web searching
.
Home
>
domains
>
pvs.csl.sri.com
Tags:
security
tools
software
opensource
programming
mathematics
tool
functional
theory
lisp
proof
languages
ai
logic
specification
formal
verification
theorem
theorem-prover
prover
pvs
provers
formal-methods
formal_methods
formalmethods
Keyword
Results for
this URL
Total
searches
View
queries for pvs.csl.sri.com/
.
Back to
pvs.csl.sri.com