...
机译:Handel C程序中安全性的形式化建模和验证
Alabama A&M University, USA;
University of Alabama in Huntsville, USA;
Air Force Research Laboratory, USA;
Air Force Research Laboratory, USA;
computer science; field programmable gate arrays (FPGAs); handel C; model checking; petri nets; security property;
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:使用任务 - PIOA的正式建模随机甲骨文可编程性和签名不可识别性的验证
机译:类似于C的内存模型的形式验证及其在验证程序转换中的用途
机译:P2P系统中安全属性的建模,验证和形式分析
机译:通过分布式因果关系跟踪对MPI程序进行可扩展的形式化动态验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:参数化并发程序和并发数据结构的时间属性的形式验证