Home » org.key-project

Group: Key Project
Sort by:Popular▼

1. 📁Key Project Proofjava2 usages

org.key-project.proofjava(4)

Key Project Proofjava
javaparser-core·javaparser-core-serialization·javaparser-parent

2.Projects14 usages

org.key-project » key.core GPL

Core functionality (terms, rules, prover, ...) for deductive verification of Java programs
Last Release on Nov 7, 2024

3.Projects5 usages

org.key-project » key.ui GPL

User interface for the deductive verification of Java programs
Last Release on Nov 7, 2024

4. 📁Key Project Ips4o

org.key-project.ips4o(1)

Key Project Ips4o
ips4o-verify

5.Projects2 usages

org.key-project » key.core.symbolic_execution GPL

API for using KeY as a symbolic execution engine for Java programs
Last Release on Nov 7, 2024

6.Projects2 usages

org.key-project » key.util GPL

Utility library of the key-project
Last Release on Nov 7, 2024

7.Projects2 usages

org.key-project » keyext.slicing GPL

Proof slicing (removing of unnecessary nodes) for the KeY system.
Last Release on Nov 7, 2024

8.Projects1 usages

org.key-project » key.core.proof_references GPL

API for using KeY for maintaining references between objects in proofs
Last Release on Nov 7, 2024

9.Projects1 usages

org.key-project » key.core.rifl GPL

Support for the RS3 Information Flow Language (RIFL)
Last Release on Nov 7, 2024

10.Projects1 usages

org.key-project » key.core.testgen GPL

Test Case Generation based on proof attempts.
Last Release on Nov 7, 2024

11.Projects1 usages

org.key-project » key.ncore GPL

Generic data strutures for terms and formulas without dependencies to a specific target programming language
Last Release on Nov 7, 2024

12.Projects1 usages

org.key-project » key.removegenerics GPL

Helper to remove generics from Java source code
Last Release on Nov 7, 2024

13.Projects1 usages

org.key-project » keyext.caching GPL

Caching of provable nodes to make proving with KeY faster.
Last Release on Nov 7, 2024

14.Projects1 usages

org.key-project » keyext.exploration GPL

Proof exploration capabilities for key.ui
Last Release on Nov 7, 2024

15.Projects1 usages

org.key-project » keyext.proofmanagement GPL

Management of larger verification with KeY.
Last Release on Nov 7, 2024

16.Projects1 usages

org.key-project » keyext.ui.testgen GPL

Extension for key.ui to access the Test Case Generation graphically
Last Release on Nov 7, 2024

17.Projects1 usages

org.key-project » recoder GPL

Fork of the Recoder -- a parser/ast for Java with extensions for KeY-Java dialects.
Last Release on Nov 7, 2024

18.Docking Frames Common3 usages

org.key-project » docking-frames-common LGPL

docking-frames-common is a user-level framework
Last Release on Jul 28, 2023

19.Projects

org.key-project » key.core.example GPL

Example project to use KeY's APIs
Last Release on Nov 7, 2024

20.Projects

org.key-project » key.core.symbolic_execution.example GPL

Example project to use KeY's APIs
Last Release on Nov 7, 2024