1. 5
    The KeY Project formalmethods java key-project.org
    davidk01 avatar via davidk01 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
    1. 2
      guiraldelli avatar guiraldelli 4 years ago | link

      I have looked into it and OpenJML as well.

      Both look promising, with KeY being “more formal” (as I understood it) and OpenJML a lower entry point to the layman.

      Have you used it at your projects?

      Would you mind to share your experience?

      1. 2
        inactive-user avatar inactive-user 4 years ago | link

        I haven’t used it. Ran across it when I was researching something related to stack machines.