Java Path Finder; Software Model Checking; Testing of Distributed Systems; Unreliable Network IO; User Datagram Protocol;
机译:基于UDP的分布式应用程序的软件模型检查
机译:分布式系统的模块化软件模型检查
机译:组装级软件模型检查的挑战和应用
机译:基于UDP的分布式应用程序的软件模型检查
机译:增强了用于商业软件应用程序的统一建模语言模型检查。
机译:MAPI:用于分布式生物医学应用程序的软件框架
机译:基于UDP的分布式应用程序的软件模型检查