TLAP公司

此软件的关键字
zbMATH中的参考文献(参考文献 10条 )
安托万.迪福内:改进高阶证明步骤的自动化(2021) 傅君; 吴金钊; 谭红艳:代数转换系统推理的演绎方法(2015) 库西诺,丹尼斯; 多利吉,达米安; 兰波特,莱斯利; 默兹,斯蒂芬; 里基茨,丹尼尔; Vanzetto,Hernán:TLA(^+)证明(2012) 莱斯利·兰波特:《如何写出21世纪的证据》(2012) 默兹,斯蒂芬; Vanzetto,Hernán:与SMT solvers自动验证TLA(^+)证明义务(2012年) 阿赫塔尔,萨比纳; 默兹,斯蒂芬; Quinson,Martin:一种用于建模算法及其属性的高级语言(2011) Lamport,Leslie:用(^+)CAL检查多线程算法(2007) 兰波特,莱斯利:快速帕克斯(2006) 乔希,拉吉耶夫; 兰波特,莱斯利; 马修斯,约翰; 塔什兰,塞尔达尔; 塔特尔,马克; Yu,Yuan:用TLA(^+)检查缓存一致性协议(2003) Lamport,Leslie:用TLA(^+)指定并发系统(1999)