Welcome to Proven’s documentation!¶
- Overview
- Background
- Activities
- Users Guide
- Installing Proven
- Purpose
- What you should expect to do
- Prerequisites
- Clone Proven Repositories
- Import Gradle Projects in Eclipse
- Create General Eclipse Project for testbed Resources
- Build and publish proven_message jar
- Build and publish proven_message-0.1-all-in-one jar
- Building the ProvEn Server (proven-member)
- Create External Tools Configurations
- Create Debug Configuration
- Running the Hybrid Service
- Swagger UI of Debug Interface
- Proven Componenets
- Research Areas
- License