...
机译:使用局部全局谓词验证分布式系统
California Institute of Technology, Pasadena, USA;
California Institute of Technology, Pasadena, USA;
University of Illinois at Urbana Champaign, Urbana, USA. Mitras@crhc.uiuc.edu;
California Institute of Technology, Pasadena, USA;
California Institute of Technology, Pasadena, USA;
concurrency; convergence; local-global; stability; theorem prover; verification;
机译:用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
机译:使用谓词/过渡网验证基于知识的系统
机译:使用谓词/过渡网验证基于知识的系统
机译:通过谓词抽象参数验证无限状态多代理系统的验证
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:分布式执行系统中的电动静液压执行机构的设计分析和验证
机译:通过针对aTLK规范的谓词抽象验证多代理系统
机译:离散事件动力系统监控的谓词和谓词变换器。