软件搜索-zbMATH Open

STeP公司

swMATH ID:	17948
软件作者：	N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe
描述：	斯坦福时间验证程序STeP由REACT研究小组开发，用于支持基于时间规范的反应式、实时和混合系统的计算机辅助形式验证。与大多数用于时间验证的系统不同，STeP不限于有限状态系统，而是将模型检查与演绎方法相结合，以允许对广泛的系统进行验证，包括参数化（N组件）电路设计、参数化（N-process）程序和具有无限数据域的程序。
主页：	http://www-step.stanford.edu
相关软件：	PVS公司；自旋蛋白；Uppaal公司；克洛诺斯；高超声速；Java PathFinder；MONA公司；TLAPS（TLAPS）；RGITL公司；KIV公司；VeriFast公司；HSolver公司；LattE公司；基准；RSOLVER公司；PHAVer公司；QEPCAD公司；爪哇-MaC；日本运通银行；HOL-Z公司
引用于：	33文件

6	阿米尔·普努利
三	尼古拉·S·比约纳。
三	Lenore D.扎克。
2	亚历山德罗·阿曼多
2	安卡·布朗
2	尤尼特·凯斯滕
2	佐哈尔·曼纳
2	Rudrapatna Kallikote Shyamasundar
2	亨尼·B·西普玛。
2	斯特拉图拉特，索林
2	Tomás E.乌里韦。
1	古尔·阿加（Gul A.Agha）。
1	保罗·C·阿蒂。
1	阿卜杜勒瓦赫布·阿亚里
1	David A.Basin。
1	莫德凯·本·阿里
1	阿努普·库马尔·巴塔查吉
1	Champak达斯
1	邓毅
1	南达科他州Dhodapkar。
1	克莱尔·狄克逊
1	康斯坦丁埃纳
1	吉登·恩斯特
1	方，易
1	艾米·费尔蒂（Amy P.Felty）。
1	Jean-Christophe Filliátre
1	傅军
1	E.Pascal格里博蒙特
1	何旭东
1	轩尼诗，Matthew C.B。
1	Hiraishi、Kunihiko
1	Jean-Pierre Hubaux
1	卡鲁纳卡尔，K。
1	Koich小林
1	罗希特·昆达吉。
1	洛根，X。
1	肯尼思·麦克米兰。
1	何塞·梅塞盖尔·瓜伊塔
1	莫、连
1	Peter Csaba，Olveczky
1	萨姆·奥雷
1	约格·佩勒
1	尼尔·皮特曼
1	安德烈·普拉泽
1	安德烈亚斯·波德尔斯基
1	巴桑特·拉詹
1	西尔维奥·兰伊斯
1	沃尔夫冈·雷夫
1	詹姆斯·里利
1	格里高·罗什乌
1	西瓦尼特·鲁阿
1	哈拉尔德街
1	米歇尔·鲁西诺维奇
1	格哈德·谢尔霍恩
1	叶卡捷琳娜·塞德列茨基
1	戈帕·森
1	塞·库什克
1	Seow，Kiam Tian先生
1	Natarajan Shankar
1	Stickel，Mark E。
1	谭红燕
1	Laurent Théry
1	费鲁西奥·劳伦·伊普利亚
1	博格丹·托凡
1	马丁·冯·莫伦柴尔德
1	吴金钊
1	于慧群
1	张婷