Ticket #40 (closed proposed-project: wontfix)

Opened 7 years ago

Last modified 3 years ago

Formal Verification (QuickCheck on steroids)

Reported by: paolo Owned by: none
Priority: bad Keywords:
Cc: Topic: Tools
Difficulty: unknown Mentor: not-accepted

Description (last modified by nano) (diff)

Take a hard theorem prover and connect it to Haskell by making it a drop-in replacement for QuickCheck?, or writing a native Haskell one.

Interested Mentors

  • Patrik Jansson <patrikjNO@…>

Interested Students

  • Mark Reitblatt <reitblatt@…>
  • Kenn Knowles <kknowles@…>

Change History

Changed 7 years ago by Reitblatt

  • description modified (diff)

Changed 6 years ago by KennKnowles

  • description modified (diff)

Changed 6 years ago by KennKnowles

  • description modified (diff)

Changed 6 years ago by patrikj

  • description modified (diff)

Changed 5 years ago by nominolo

  • priority set to bad

Unless the student can show prior experience in this area, this project is probably too large for a GSoC.

Changed 5 years ago by nano

  • description modified (diff)

Changed 5 years ago by nano

  • description modified (diff)

Changed 3 years ago by dons

  • status changed from new to closed
  • resolution set to wontfix

Too old.

Note: See TracTickets for help on using tickets.