CITI and Departamento de Informatica, Faculdade de Ciencias e Tecnologia,Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;
CITI and Departamento de Informatica, Faculdade de Ciencias e Tecnologia,Universidade Nova de Lisboa, 2829-516 Caparica, Portugal;
机译:支持对并发规范进行有效模型检查的工具
机译:FBT:一种将间隔逻辑规范应用于即时模型检查的工具
机译:动态空间系统中基于逻辑的定性和混合推理建模方法
机译:使用动态模型生成和计算树逻辑规范的操作系统过程资源图中死锁检测的模型检查方法
机译:基于数据的并发系统的模型检查
机译:评估社会生态系统中的渔业保护策略:基于网格的动态模型与战术渔业管理中的空间保护优先级工具
机译:SLMC:用于根据动态空间逻辑规范对并发系统进行模型检查的工具