TLAP公司

此软件的关键字
zbMATH中的参考文献(参考
9篇文章
参考)
傅军;吴金钊;谭红艳:代数转移系统推理的演绎方法(2015) 库西诺,丹尼斯;多利盖兹,达米安;兰波特,莱斯利;默兹,斯蒂芬;里克茨,丹尼尔;凡泽托,赫尔南:TLA(^+)证明(2012) 莱斯利·兰波特:《如何写出21世纪的证据》(2012) Merz,Stephan;Vanzetto,Hernán:与SMT solvers自动验证TLA(^+)证明义务(2012年) Akhtar,Sabina;Merz,Stephan;Quinson,Martin:用于建模算法及其属性的高级语言(2011) 使用多线程Lie()检查(^ 2007) 兰波特,莱斯利:快速帕克斯(2006) Joshi,Rajeev;Lamport,Leslie;Matthews,John;Tasiran,Serdar;Tuttle,Mark;Yu,Yuan:用TLA(^+)检查缓存一致性协议(2003) Lamport,Leslie:用TLA(^+)指定并发系统(1999)