KeYProject key Q A · Discussions · GitHub

KeY is on Github.
Announcements wadoon

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

You must be logged in to vote

Help for using the existence of an array that fulfills a condition.

fab918 asked Dec 16, 2023 in Q&A · Unanswered

1
You must be logged in to vote

is it allowed to assign a JML expression containing a quantifier to a ghost variable?
JavaJMLParser
waynee95 asked Sep 5, 2023 in Q&A · Unanswered

1
You must be logged in to vote

What is variant for in the invariant configurator?
JML (Semantics)
waynee95 asked Sep 5, 2023 in Q&A · Answered

2