apollo-backend/eu.yeger.apollo.model_checker.service

Package-level declarations

Types

Link copied to clipboard
class DefaultModelCheckerService : ModelCheckerService

Service for ModelChecking.

Link copied to clipboard
interface ModelCheckerService

Service for ModelChecking.