Forgot your password?
New user?
Document Actions
Pilot Projects
Up one levelSeveral possible pilot verification case studies are listed here.
The entries contain a brief description of the scope of the project
together with links to more information.
- sqlite: An open source database system — last modified 2006-03-30 16:32
- "sqlite":http://www.sqlite.org is a lightweight, open source database system for embedded use. sqlite supports the SQL language with manifest typing (as opposed to static typing) and an ACID model ...
- Liberouter: Open Source Router Hardware — last modified 2006-04-03 16:53
- The "Liberouter":http://www.liberouter.org/ is an open source effort to build a dual-stack (IPv6 and IPv4) router on commodity hardware with a projected throughput of 10Gbs. The project includes a ...
- Verifiable file system — last modified 2006-04-02 15:41
- Why a filesystem
- OpenExtensibleLanguageFramework — last modified 2006-04-02 10:44
- The verification by construction panel thinks that an important research problem is an open, extensible framework for building processors for specification and programming languages. The idea would ...
- Other Pilot Project Ideas — last modified 2006-04-02 15:21
- 1 Work by Wolfgang Paul's group
- wiki_page.2006-04-02.4483798772 — last modified 2006-04-02 15:46
- Key characteristics for a pilot project
- Verisoft Project Summary — last modified 2006-04-02 17:22
- Verisoft Project Summary
- wiki_page.2006-04-03.3341025932 — last modified 2006-04-03 16:52
- wiki_page.2006-04-03.5656905082 — last modified 2006-04-03 16:56
- The Halfs File System by shankar — last modified 2006-04-12 18:13
- Halfs is an open source file system written in Haskell by Isaac Jones. It runs on an VM called qemu and can be used with various platforms.
