Department of Electrical and Computer Engineering The University of Texas at Austin Austin, TX 78712, USA;
Department of Electrical and Computer Engineering The University of Texas at Austin Austin, TX 78712, USA;
Department of Electrical and Computer Engineering The University of Texas at Austin Austin, TX 78712, USA;
scope-bounded checking; alloy; first-order logic; SAT; lightweight formal method; computation graph; white-box testing;
机译:用于检查生物学模型一致性的正式方法。
机译:用于参数化系统的轻量级常规模型检查方法
机译:分布式系统形式验证中的符号模型检查方法
机译:使用轻量级形式方法的范围有限检查的增量方法
机译:关于检查密码协议的正式方法。
机译:在布基纳法索瓦加杜古的一个正式社区中很难以社区为基础的贫困者选择方法:一项混合方法探索性研究
机译:使用轻量级形式方法进行范围限制检查的增量方法