Mansur Khazeev

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
—Many verification tools come out of academic projects, whose natural constraints do not typically lead to a strong focus on usability. For widespread use, however, usability is essential. Using a well-known benchmark, the Tokeneer problem, we evaluate the usability of a recent and promising verification tool: AutoProof. The results show the efficacy of the(More)
  • 1