KeY
KE
KeY is a deductive verification system for Java programs
Updated 30 months ago
1096 36
Get started
10377 commitsLast commit ≈ 1 week ago2 stars1 fork
JMLtk
A Toolkit for the Java Modeling Language containing JML/Java parser, AST, mid- (like code transformations) to high-level tools (like verification condition and stub generation, JML statistics).
1
contributor
Description
This project contains a set of libraries implementing parsers and tools for the Java Modeling Language with support for Java 25.
Setup
Gradle:
implementation("com.github.javaparser:javaparser-symbol-solver-core:3.28.1-J8.0-K13.5-SNAPSHOT")
Maven:
<dependency>
<groupId>io.github.jmltoolkit</groupId>
<artifactId>jmlparser-core</artifactId>
<version>3.28.1-J8.0-K13.5-SNAPSHOT</version>
</dependency>
License
JavaParser is available either under the terms of the LGPL License or the Apache License. You as the user are entitled to choose the terms under which adopt JavaParser.
For details about the LGPL License please refer
to LICENSE.LGPL.
For details about the Apache License please refer
to LICENSE.APACHE.
Keywords
No keywords availableLicense
Packages
Participating organisations
Contributors
Contact person
AW
AW
Helmholtz Program-oriented Funding IV
Research Field
Research Program
PoF Topic
Related projects
Core Informatics
The future Helmholtz Topic "Core Informatics for Multidomain Impact" in the Research Field "Information".
Updated 1 hour ago
In progress