movesrwth/storm-basesystem Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务

Storm模型检查器基础Linux镜像

概述

该镜像提供了一个为Storm模型检查器构建的基础Linux环境，包含运行Storm所需的核心依赖包，但不包含carl库或Storm模型检查器本身。适用于需要自定义构建Storm运行环境的场景。

核心功能与特性

• 基础依赖集成：预装Storm模型检查器运行所需的系统依赖包
• 精简设计：不包含carl数学库和Storm模型检查器本体，保持环境轻量
• 扩展选项：如需包含carl库的基础环境，可参考镜像：movesrwth/carl

使用场景

• 作为自定义构建Storm模型检查器环境的基础镜像
• 需要手动控制Storm版本或carl库集成的开发场景
• 构建特定版本Storm依赖环境的场景

使用方法

拉取镜像

bash
docker pull [镜像仓库地址]  # 请替换为实际镜像仓库地址

基于此镜像构建自定义环境

创建Dockerfile集成Storm或其他依赖：

dockerfile
# 基于基础镜像构建
FROM [镜像仓库地址]

# 示例：安装Storm模型检查器（需根据实际版本调整）
RUN apt-get update && \
    apt-get install -y storm && \
    rm -rf /var/lib/apt/lists/*

构建并运行自定义镜像

bash
# 构建镜像
docker build -t custom-storm-env .

# 运行容器
docker run -it --rm custom-storm-env /bin/bash

注意事项

• 该镜像仅提供基础依赖，需自行集成Storm模型检查器主体
• 如需使用carl库相关功能，请切换至movesrwth/carl镜像