TLA公司

TLA代表动作的时态逻辑,但它已经成为TLA+规范语言和PlusCal算法语言及其相关工具的简称。TLA+基于这样一个理念,即形式化描述事物的最佳方式是使用简单数学,并且规范语言应该尽可能少地包含精确编写简单数学所需的内容。尤其是并发的TLA-writing特别适合于高层次的分布式系统。PlusCal是一种算法语言,乍一看,它看起来像一种典型的小玩具编程语言。然而,PlusCal表达式可以是任何TLA+表达式,这意味着可以用数学表示的任何东西。这使得PlusCal比任何(真实的或玩具的)编程语言更具表现力。PlusCal算法被转换成TLA+规范,TLA+工具可以应用到其中。TLA+的主要工具是TLC模型检查器和TLA+证明系统TLAP。所有的工具通常都是从工具箱(一个集成开发环境)中使用的。转到TLA主页了解有关TLA的更多信息。


zbMATH参考文献(参考 26篇文章 引用)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Kapus,Tatjana:用(\mathrmTLA^+)指定可逆性(2020)
  2. Colvin,Robert J.;Hayes,Ian J.;Meinicke,Larissa A.:为具有并发性的广谱语言设计语义模型(2017)
  3. Konnov,Igor;Lazić,Marijana;Veith,Helmut;Widder,Josef:容错分布式算法安全性和活性验证的简短反例属性(2017)
  4. Konnov,Igor;Veith,Helmut;Widder,Josef:《关于容错分布式算法的模型检查,你一直想知道的》(2016)
  5. von Rhein,Alexander;Thüm,Thomas;Schaefer,Ina;Liebig,Jörg;Apel,Sven:《可变性编码:从编译时到加载时的可变性》(2016)
  6. Gmeiner,Annu;Konnov,Igor;Schmid,Ulrich;Veith,Helmut;Widder,Josef:容错分布式算法的参数化模型检查教程(2014)
  7. 莱斯利·兰波特:《如何写出21世纪的证据》(2012)
  8. Li,Guodong;Palmer,Robert;DeLisi,Michael;Gopalakrishnan,Ganesh;Kirby,Robert M.:MPI 2.0的形式化规范:指定一个实用并发编程API的案例研究(2011)
  9. 刘晓军;李,A.:时间交互演员网络的CPO语义(2008)
  10. 梅斯盖尔,何塞:改写的时间逻辑:一个温和的介绍(2008)
  11. Banach,R.;Poppleton,M.;Jeske,C.;Stepney,S.:紧缩的工程和理论基础(2007)
  12. Armando,A.;Basin,D.;Boichut,Y.;Chevalier,Y.;Compagna,L.;Cuellar,J.;Hankes-Drielsma,P.;Heám,P.C.;Kouchnarenko,O.;Mantovani,J.;mödersheim,S.;von Oheimb,D.;Rusinowitch,m.;Santiago,J.;Turuani,m.;Viganò,L.;Vigneron,L.:互联网安全协议和应用程序自动验证的Avisa工具(2005年)
  13. Schellhorn,Gerhard:ASM精化和数据精化中正向模拟的推广:比较(2005)
  14. Daniel Kroneing;Ouakine,Joël;Seshia,Sanjit A.;Strichman,Ofer:基于抽象的Presburger算法的可满足性求解(2004)
  15. Florescu,Daniela;Grünhagen,Andreas;Kossmann,Donald:XL:一种用于web服务规范和组合的XML编程语言。(2003年)
  16. Stephan Merz;Wirsing,Martin;Zappe,Júlia:用于移动系统规范和优化的时空逻辑(2003)
  17. Padberg,J.;Urbášek,M.:基于规则的Petri网精化:调查(2003)
  18. Misra,Jayadev:多道程序设计的一门学科。分布式应用程序设计理论(2001)
  19. Pazos Arias,JoséJ.;García Duque,Jorge:SCTL-MUS:分布式系统软件开发的正式方法论。案例研究(2001)
  20. 瓦尔迪,莫斯伊:分支与线性时间:最终决战(2001)

更多出版物请访问:http://research.microsoft.com/en-us/um/people/lamport/tla/papers.html