TLA公司

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