The KeY Project
2 comments · formalmethods, java
- Comments2
–Rank now
#17Peak rank
1Days on list
–Score · 7d
Oct 31, 2026First seen
On Lobsters
formalmethodsjava
- Score
- 5
- Comments
- 2
- Submitted by
- davidk01
- Tags
- formalmethods, java
- Site
- key-project.org
Story details from Lobsters ↗ · linked article on key-project.org.
Trending history
The KeY Project was first seen on Lobsters · Hottest on Oct 31, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #17 of 25, reached on Oct 31, 01:51 UTC. It dropped off the list after Oct 31, 01:51 UTC.
Rank history
Position on Lobsters · Hottest at every check (lower is better).
Last 14 days
Best rank per day (UTC).
17
Oct 26today
From the discussion
A few top-level comments from Lobsters, shortened. Read the full thread on Lobsters.
I have looked into it and [OpenJML](http://www.openjml.org/) 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?
I haven't used it. Ran across it when I was researching something related to stack machines.
Featured in
Archived daily, weekly and monthly lists that include this entry.
Lobsters 1 day, best #17
Questions
Is The KeY Project trending on Lobsters right now?
Not at the moment. It was last on the list on Oct 31, 01:51 UTC, after 1 day of trending.
What is the highest rank The KeY Project reached?
#17 on Lobsters · Hottest, on Oct 31, 01:51 UTC. Trendoday checks this list every 30 minutes.
How long has The KeY Project been trending?
It was first seen on Oct 31, 2026 and has been on the list on 1 day (1 check) since.