Formal methods tool suite: Revision history

28 January 2013

• curprev 23:5223:52, 28 January 2013‎ Jcp talk contribs‎ m 12,804 bytes +246‎ Added some additional formal specification languages that might be candidates for future addition to Fedora (though many of them seem to have licensing issues that would preculde that from happening).

29 October 2012

• curprev 03:3603:36, 29 October 2012‎ Jcp talk contribs‎ m 12,558 bytes +3‎ Fixed semantic typo that the spell checker missed

22 October 2012

• curprev 06:4406:44, 22 October 2012‎ Jcp talk contribs‎ 12,555 bytes +3,208‎ Grouped all of the verification tools into a single category and added some basic introductory material to help those just getting started. Also performed a facelift on the catch-all "other" category.

19 October 2012

• curprev 06:3106:31, 19 October 2012‎ Jcp talk contribs‎ 9,347 bytes +1,789‎ A face lift for the Theorem Provers section

18 October 2012

• curprev 06:1906:19, 18 October 2012‎ Jcp talk contribs‎ 7,558 bytes +1,601‎ A face lift for the SMT Solver section. Reordered the SAT and SMT sections to make it easier to explain what they are.

17 October 2012

• curprev 06:1406:14, 17 October 2012‎ Jcp talk contribs‎ 5,957 bytes +1,472‎ →‎Boolean Satisfiability (SAT) Solvers

20 January 2010

• curprev 15:5415:54, 20 January 2010‎ Dwheeler talk contribs‎ 4,485 bytes +80‎ →‎Satisfiability Modulo Theories (SMT) Solvers
• curprev 15:5315:53, 20 January 2010‎ Dwheeler talk contribs‎ 4,405 bytes +6‎ →‎SAT Solvers
• curprev 15:5215:52, 20 January 2010‎ Dwheeler talk contribs‎ 4,399 bytes +76‎ →‎SAT Solvers
• curprev 15:4915:49, 20 January 2010‎ Dwheeler talk contribs‎ 4,323 bytes +50‎ →‎Theorem Provers
• curprev 15:4715:47, 20 January 2010‎ Dwheeler talk contribs‎ 4,273 bytes +20‎ →‎Model Checkers
• curprev 15:4615:46, 20 January 2010‎ Dwheeler talk contribs‎ 4,253 bytes +390‎ →‎Model Checkers
• curprev 15:4515:45, 20 January 2010‎ Dwheeler talk contribs‎ 3,863 bytes +63‎ →‎Satisfiability Modulo Theories (SMT) Solvers
• curprev 15:4315:43, 20 January 2010‎ Dwheeler talk contribs‎ 3,800 bytes +119‎ →‎Satisfiability Modulo Theories (SMT) Solvers
• curprev 15:3615:36, 20 January 2010‎ Dwheeler talk contribs‎ 3,681 bytes +1,128‎ Complete initial version
• curprev 15:2715:27, 20 January 2010‎ Dwheeler talk contribs‎ 2,553 bytes +78‎ →‎Formal methods tool suite
• curprev 15:2615:26, 20 January 2010‎ Dwheeler talk contribs‎ 2,475 bytes +645‎ Explain SMT
• curprev 15:1515:15, 20 January 2010‎ Dwheeler talk contribs‎ 1,830 bytes +497‎ Add theorem provers
• curprev 15:1015:10, 20 January 2010‎ Dwheeler talk contribs‎ 1,333 bytes +673‎ Add "SAT Solver" category
• curprev 15:0215:02, 20 January 2010‎ Dwheeler talk contribs‎ 660 bytes +660‎ Initial version