Laurent Voisin

Show:

What's happening?

  • RODIN

    lvoisin committed revision 7785 to the RODIN SVN repository, changing 2 files.

    2009-11-11 19:43:38 UTC in RODIN

  • RODIN

    lvoisin committed revision 7784 to the RODIN SVN repository, changing 1 files.

    2009-11-11 18:41:55 UTC in RODIN

  • RODIN

    lvoisin committed revision 7783 to the RODIN SVN repository, changing 2 files.

    2009-11-11 18:11:54 UTC in RODIN

  • RODIN

    lvoisin committed revision 7782 to the RODIN SVN repository, changing 1 files.

    2009-11-11 18:10:08 UTC in RODIN

  • MH and other rules are ill-defined

    Following to a post from Matthias, there are several inference rules that are ill-defined in both the Rodin wiki and the event-B prover. The usage of these rules can introduce inconsistency in the prover (e.g., allow one to prove false which is invalid, as Matthias did). Some rules already known to be ill-defined are MH, HM, FORALL_INST_MP and FIN_SUBSETEQ_R. These rules should be fixed in...

    2009-11-10 21:55:29 UTC in RODIN

  • RODIN

    lvoisin committed revision 7736 to the RODIN SVN repository, changing 4 files.

    2009-11-03 18:24:20 UTC in RODIN

  • RODIN

    lvoisin committed revision 7735 to the RODIN SVN repository, changing 5 files.

    2009-11-03 18:23:25 UTC in RODIN

  • RODIN

    lvoisin committed revision 7734 to the RODIN SVN repository, changing 4 files.

    2009-11-03 18:22:11 UTC in RODIN

  • RODIN

    lvoisin made 3 file-release changes.

    2009-11-03 16:28:01 UTC in RODIN

  • RODIN

    lvoisin made 1 file-release changes.

    2009-11-03 16:27:01 UTC in RODIN

About Me

  • 2004-05-14 (5 years ago)
  • 1041912
  • lvoisin (My Site)
  • Laurent Voisin

Send me a message