A list of 50 sites similar to pvs.csl.sri.com

thumbnail for http://pvs.csl.sri.com/

PVS Specification and Verification System

Site Info: Popularity:popularity of pvs.csl.sri.com  Language-Location: English - United States
Site Rating:
(Be the first to rate!)
Site Category: Tools / Software
Site Topics: (Click on topics below to explore top sites in these categories)
Please describe site with a few words:
Filter search result by language: and/or by country:
82 views. Updated on:2015-03-04
 Suggest a similar site
Suggest a similar website (Enter a URL):
  1. http://lisa.sourceforge.net/
    -
    Site Category: Programming / Lisp
    Similarity: lisa.sourceforge.net is 41% analogous to sri csl pvs  Popularity: traffic volumn of sourceforge.net is very high  Language-Location: English - United States
    This site has two matching tags. Top 2 matches are lisp, software.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  2. http://alloy.mit.edu/
    -
    Site Category: Programming / Testing
    Similarity: alloy.mit.edu is 40% analogous to sri csl pvs  Popularity: traffic volumn of mit.edu is very high  Language-Location: English - United States
    This site has four matching tags. Top 4 matches are software, verification, logic, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  3. http://coq.inria.fr/
    -
    Site Category: Programming / Math
    Similarity: coq.inria.fr is 39% analogous to sri csl pvs  Popularity: traffic volumn of inria.fr is medium  Language-Location: English - France
    This site has three matching tags. Top 3 matches are logic, software, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  4. SLAM is a project for checking that software satisfies critical behavioral properties of the interfaces it uses and to aid software engineers in designing interfaces and software that ensure reliable and correct functioning. Static Driver Verifier...
    http://research.microsoft.com/slam/
    Similarity: http://research.microsoft.com/slam/ is 38% analogous to sri csl pvs  Popularity: traffic volumn of microsoft.com is very high  Language-Location: English - United States
    This site has four matching tags. Top 4 matches are verification, software, tools, theory.
    Similar or Not? yes no  Rating:
    (1.0, based on 1 vote)
  5. http://bandera.projects.cis.ksu.edu/
    Site Category: Tools / Java / Eclipse
    Similarity: bandera.projects.cis.ksu.edu is 37% analogous to sri csl pvs  Popularity: traffic volumn of ksu.edu is high  Language-Location: English - United States
    This site has three matching tags. Top 3 matches are verification, software, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  6. http://sms-verification.com/
    -
    Site Category: Tools
    Similarity: sms-verification.com is 31% analogous to sri csl pvs  Popularity: traffic volumn of sms-verification.com is medium  Language-Location: English - *
    This site has two matching tags. Top 2 matches are verification, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  7. http://worldsecuresystems.com/
    -
    Site Category: Search / File
    Similarity: worldsecuresystems.com is 30% analogous to sri csl pvs  Popularity: traffic volumn of worldsecuresystems.com is high  Language-Location: English - *
    This site has two matching tags. Top 2 matches are verification, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  8. Welcome to Prezi, the presentation software that uses motion, zoom, and spatial relationships to bring your ideas to life and make you a great presenter.
    http://prezi.com/
    -
    Site Category: Tools / Presentation / Slideshow
    Similarity: prezi.com is 30% analogous to sri csl pvs  Popularity: traffic volumn of prezi.com is very high  Language-Location: English - Hungary
    This site has two matching tags. Top 2 matches are tools, software.
    Similar or Not? yes no  Rating:
    (3.9, based on 10 votes)
  9. http://smspuppy.com/
    -
    Site Category: Tools
    Similarity: smspuppy.com is 30% analogous to sri csl pvs  Popularity: traffic volumn of smspuppy.com is low  Language-Location: English - *
    This site has two matching tags. Top 2 matches are verification, tools.
    Similar or Not? yes no  Rating:
    (Be the first to rate!)
  10. Free online video converter, audio converter, image converter, eBook converter. No download or account required.
    http://www.zamzar.com/
    -
    Site Category: Tools / Converter
    Similarity: zamzar.com is 29% analogous to sri csl pvs  Popularity: traffic volumn of zamzar.com is high  Language-Location: English - United States
    This site has two matching tags. Top 2 matches are tools, software.
    Similar or Not? yes no  Rating:
    (3.0, based on 11 votes)
  11. Run your entire business with Zoho's suite of online productivity tools and SaaS applications. Over 15 million users trust us worldwide.Try our Forever Free Plan!
    http://www.zoho.com/
    -
    Site Category: Tools / Collaboration / Office
    Similarity: zoho.com is 28% analogous to sri csl pvs  Popularity: traffic volumn of zoho.com is very high  Language-Location: English - United States
    This site has two matching tags. Top 2 matches are tools, software.
    Similar or Not? yes no  Rating:
    (3.2, based on 10 votes)
  12. Bring your life's work together in one digital workspace. Evernote is the place to collect inspirational ideas, write meaningful words, and move your important projects forward.
    http://www.evernote.com/
    -
    Site Category: Tools / Software / Productivity
    Similarity: evernote.com is 28% analogous to sri csl pvs  Popularity: traffic volumn of evernote.com is very high  Language-Location: English - United States
    This site has two matching tags. Top 2 matches are tools, software.
    Similar or Not? yes no  Rating:
    (3.8, based on 13 votes)
Search with Selected Tags: software verification tools pvs specification