机译:使用概率论逻辑规范验证并发概率论系统
Multi-agent systems; Concurrent probabilistic systems; Model checking; Verification;
机译:使用概率论逻辑规范验证并发概率论系统
机译:分支时间逻辑,用于验证同步耦合的并发系统及其与基于Web的系统的相关性
机译:并发系统规范的模块化形式验证
机译:使用时间逻辑规范自动验证有限状态并发系统
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:并发工厂 - 规范,仿真,验证和并发系统实现的实用工具