The KeY tool is a state-of-the-art deductive program verifier for the Java language. Its verification engine is based on a sequent calculus for dynamic logic, realizing forward symbolic execution of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results