New pages
From Openproofs
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)- 14:40, 1 August 2009 Presentations and papers about open proofs (hist) [351 bytes] DWheeler (Talk | contribs) (Add presentation)
- 14:07, 22 June 2009 Sponsors (hist) [591 bytes] DWheeler (Talk | contribs) (Thank OASD(NII)-CIO/ODASD(I&IA))
- 15:40, 5 June 2009 SPARK (hist) [3,951 bytes] DWheeler (Talk | contribs) (Initial version)
- 15:34, 5 June 2009 Tokeneer (hist) [4,992 bytes] DWheeler (Talk | contribs) (Tokeneer - initial description)
- 00:14, 29 April 2009 Components that should be Open Proofs (hist) [6,912 bytes] DWheeler (Talk | contribs) (Initial version)
- 17:47, 20 April 2009 What can I do to help (hist) [2,208 bytes] DWheeler (Talk | contribs) (Initial version)
- 20:38, 18 March 2009 Temporary (hist) [194 bytes] DWheeler (Talk | contribs) (New page: This is a temporary page, used to test Wiki issues. Here's a link to the name of the main page: MediaWiki:Mainpage)
- 20:50, 8 February 2009 Lisp (hist) [142 bytes] DWheeler (Talk | contribs) (New page: Potentially useful tools for Lisp implementations include [http://www.cs.utexas.edu/users/moore/acl2/ ACL2] and [http://pvs.csl.sri.com/ PVS].)
- 23:05, 6 February 2009 Ada (hist) [571 bytes] DWheeler (Talk | contribs) (New page: Ada programs can be compiled by a FLOSS compiler, [http://www.gnu.org/software/gnat/ GNAT], which is integrated into the gcc compiler suite. Praxis sells proprietary tools that support th...)
- 22:59, 6 February 2009 Java (hist) [197 bytes] DWheeler (Talk | contribs) (New page: [http://krakatoa.lri.fr/ Krakatoa] and [http://www.key-project.org/ KeY] are potentially-useful FLOSS tools.)
- 22:53, 6 February 2009 C and C++ (hist) [436 bytes] DWheeler (Talk | contribs) (New page: Proving programs written in C and C++ can be challenging. Neither language strongly enforces types, both rely heavily on pointers (which are challenging for most proof systems to handle),...)
- 22:50, 6 February 2009 Haskell (hist) [1,598 bytes] DWheeler (Talk | contribs) (New page: Some approaches of proving programs implemented Haskell are: * Translating subsets of Haskell to Isabelle, and verifying them. * Using model checkers to verify subsets * Extracting Haske...)
- 22:29, 6 February 2009 Queens on a chessboard with Caduceus (hist) [5,464 bytes] DWheeler (Talk | contribs) (New page: [http://caduceus.lri.fr/ Caduceus] has been used to solve a simple "N-queens on a chessboard" problem. [http://why.lri.fr/queens/index.en.html More information about the Queens problem wit...)
- 19:37, 6 February 2009 List of Known Open Proofs (hist) [3,804 bytes] DWheeler (Talk | contribs) (New page: == List of Known Open Proofs == ''(No content yet - please fill this in!)'')
- 19:04, 6 February 2009 Request wiki account (hist) [758 bytes] DWheeler (Talk | contribs) (New page: == Request wiki account == To edit the wiki, you need an account. Please click on: [https://www.openproofs.org/wiki/Special:RequestAccount Request Wiki account] When editing, please be ...)
