Forgot your password?
New user?
Search results
Did you not find what you were looking for? Try the Advanced Search for more precise search options.
52 items matching your criteria.
- VSTTE '08 Conference Program [1%] by shankar, 2008-08-26 18:34
- Schedule for VSTTE'08, Oct 6-9, 2008, Toronto Canada
- VSTTE'08 [1%] by shankar, 2008-08-26 18:28
- Verified Software: Theories, Tools, and Experiments (VSTTE 2008) Toronto, Canada Oct 6-9, 2008
- The Verified Software Initiative [1%] by shankar, 2008-06-23 23:15
- Software is the nerve center of many engineered products and business processes, but it is also a perennial source of bottlenecks, cost overruns, and ...
- Pat Lincoln's FM Outreach presentation [1%] by shankar, 2008-06-22 23:42
- Pat Lincoln's presentation at the FM Outreach workshop held at SRI on June 9/10, 2008.
- FM Outreach Workshop Dinner Image 4 [1%] by shankar, 2008-06-09 23:58
- Courtesy Richard Waldinger
- FM Outreach Workshop Dinner Image 3 [1%] by shankar, 2008-06-09 23:57
- Courtesy Richard Waldinger
- FM Outreach Workshop Dinner Image 2 [1%] by shankar, 2008-06-09 23:56
- Courtesy Richard Waldinger
- FM Outreach Workshop Dinner Image 1 [1%] by shankar, 2008-06-09 23:55
- Courtesy Richard Waldinger
- Bob Constable's FM Outreach 2008 presentation [1%] by shankar, 2008-06-09 23:40
- Tom Ball's FM Outreach 2008 presentation [1%] by shankar, 2008-06-09 23:39
- FM Outreach Workshop Dinner Photograph [1%] by shankar, 2008-06-09 23:36
- Courtesy Kevin Sullivan
- Shankar's FM Outreach Presentation [1%] by shankar, 2008-06-09 23:26
- Shankar's introduction to the Formal Methods Outreach Workshop, SRI June 2008.
- Files [1%] by shankar, 2008-06-09 23:15
- A place for saving files for content that is linked from other pages such as presentations and reports.
- Verified Software in the Real World [1%] by shankar, 2008-05-29 14:49
- A two-page summary of the Verified Software Initiative.
- SmartVSR [1%] by shankar, 2007-03-07 14:24
- testing
- Maude 2.2 [1%] by shankar, 2007-01-31 18:22
- Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of ...
- Some Theorem Proving Strategies and their Implementation [1%] by shankar, 2007-01-31 18:15
- Original 1964 technical report by George A. Robinson, Lawrence T. Wos, and Daniel F. Carson describing their implementation on a CDC 3600 of J. A. Robinson's ...
- Mathematical Procedures for Decision Problems [1%] by shankar, 2007-01-31 18:07
- The original report on Martin Davis' implementation of the Presburger algorithm for the Institute for Advanced Study computer. This is the first theorem ...
- GAMMA 1 [1%] by shankar, 2007-01-31 18:02
- J. A. Robinson's historical technical report on a Fortran program implemented for the IBM 704 using instantiation and the Davis-Putnam algorithm for ...
- Zope [1%] by shankar, 2007-01-31 17:39
- PVS [1%] by shankar, 2007-01-31 17:36
- SPIN 4.2.8 [1%] by shankar, 2007-01-31 16:01
- Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software ...
- HOL 4 [1%] by shankar, 2007-01-31 15:54
- HOL 4 is the latest version of the HOL automated proof system for higher order logic: a programming environment in which theorems can be proved and proof tools ...
- ACL2 3.0 [1%] by shankar, 2007-01-31 15:50
- ACL2 (A Computational Logic for Applicative Common Lisp) is a programming language for modeling computer systems and a tool for proving properties of those ...
- Simplify Prover Benchmarks [1%] by shankar, 2007-01-31 15:37
- This directory contains two test suites for automatic theoreom provers. The first test suite, in the subdirectory front_end_suite, consists of 207 files ...
- Guidelines [1%] by shankar, 2006-12-07 16:09
- Please follow these guidelines in adding content to the QPQ repository or in editing existing content.
- Verifying Domain Descriptions [1%] by shankar, 2006-12-07 00:24
- Kokichi Futatsugi has written this note.
- The QPQ Manifesto [1%] by shankar, 2006-12-06 14:35
- This document outlines the underlying purpose of the QPQ deductive software repository.
- Verified Software Roadmap (Draft;July 2006) [1%] by shankar, 2006-07-07 10:43
- Current draft of the Verified Software Roadmap for presentation at Dagstuhl 06281.
- Technical Background [1%] by shankar, 2006-07-03 10:54
- Verification has been a fertile and active area of research over the last forty five years. There are several well-developed strands of research with deep ...
