等离子体

一个高性能统计模型检验平台——等离子体。统计模型检验为确定和量化具有难以处理的大状态空间模型的动态特性提供了可能，为验证复杂的实际系统的性能开辟了可能。稀有属性和长时间模拟对这种方法提出了挑战，因此，我们提出了一个快速而紧凑的统计模型检查平台PLASMA，它集成了一个有效的模拟引擎，并且在属性稀有时使用重要性抽样来减少模拟的数量和长度。为了提高灵活性和效率，PLASMA将模型和属性编译为字节码，在内置内存高效的虚拟机上执行。