University of Nebraska, Lincoln, NE 68588, USA;
机译:使用可扩展的软件模型检查框架检查JML规范
机译:使用自旋模型检查器对可扩展身份验证协议进行建模和验证
机译:迈向自动化软件模型检查使用图形转换系统和博文
机译:使用Bogor可扩展模型检查框架构建您自己的软件模型检查器
机译:使用增强的属性语法构建可扩展的建模语言框架。
机译:MC3:用于生化网络的稳态模型和约束一致性检查器
机译:使用Bogor可扩展模型检查框架构建自己的软件模型检查器