Department of Computer Sciences and Computer Engineering Research Center, The University of Texas at Austin, Austin TX 78712, USA;
parameterized correctness; data structures;
机译:覆盖共享树:用于参数化验证的紧凑数据结构
机译:参数验证的自动证明方法
机译:参数验证的自动证明方法
机译:自动验证参数化数据结构
机译:自动验证参数化系统。
机译:糖缀合物数据库:结构-带注释的聚糖结构数据库和N-聚糖一级结构验证服务
机译:自动验证参数化数据结构