Advaita数据器
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2010 – 2019
2019 【c3】 穆罕默德·阿夫扎尔 , 亚洲A , Avriti Chauhan公司 , 巴蒂·奇迪瓦尔 , 普里扬卡·达克 , Advaita数据器 , 希拉旺·库玛 , R.文卡特斯 :
VeriAbs:通过抽象和测试生成进行验证。 ASE公司 2019 : 1138-1141 2018 【c2】 普里扬卡·达克 , 苏曼特·帕布 , Bharti Chimdyalwar公司 , Avriti Chauhan公司 , 希拉旺·库玛 , 阿尼梅斯·巴萨克·乔杜里 , R.文卡特斯 , Advaita数据器 , 拉文德拉·库马尔·梅迪切拉 :
VeriAbs:通过抽象和测试生成进行验证-(竞争贡献)。 TACAS(2) 2018 : 457-462 2016 【c1】 阿努什里·贾纳 , Uday P.Khedker公司 , Advaita数据器 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 洛普斯特 2016 : 275-292 [i2] 阿努什里·贾纳 , 乌代·P·凯德克 , Adwaita数据表 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 CoRR公司 abs/1606.06974 ( 2016 ) [i1] 阿努什里·贾纳 , Uday P.Khedker公司 , Advaita数据器 , R.文卡特斯 , 尼亚斯C :
通过使用数组转换程序来缩放有界模型检查。 CoRR公司 abs/1608.05368 ( 2016 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)