SLMC公司

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Hüttel,Hans:在(\pi)-微积分中使用会话类型来推理有界性(2020) 费伦伯格,乌利;Křetínský,Jan;Legay,Axel;Traonouez,Louis Marie:定量规范的组成(2018年) Gorrieri,Roberto:有限状态机的验证:分布式方法(2018) 古兹曼,米歇尔;哈尔,斯特凡;珀奇,萨利姆;鲁埃达,卡米洛;瓦伦西亚,弗兰克·D.:空间和挤压代数中的信仰、知识、谎言和其他话语(2017) Olatet,C.;Chiarugi,D.;Falaschi,M.;Hermith,D.:生化系统时空依赖性的证明理论观点(2016) Chiarugi,Davide;Falaschi,Moreno;Hermith,Diana;Olatet,Carlos:生物化学系统中时空模式的验证(2015) Dwornikowski,Dariusz;Stroninski,Andrzej;Brzezinïski,Jerzy:走向REST的过程微积分:当前艺术状态(2015) Larsen,Kim G.;Mardare,Radu;Xue,Bingtian:并行加权逻辑(2015) Acciai,Lucia;Boreale,Michele:通过行为类型决定无限状态pi演算中的安全性(2012) Bae,Kyungmin;Meseguer,José:基于重写的线性时序重写逻辑模型检验器(2012) Caires,Luís;Vieira,Hugo Torres:SLMC:根据动态空间逻辑规范对并发系统进行模型检查的工具(2012) ioport公司 弗拉纳根,科马克(编辑);克尼格,芭芭拉(编辑):系统构造和分析的工具和算法。 第18届国际会议,TACAS 2012,作为欧洲软件理论与实践联合会议的一部分,2012年3月24日至4月1日,爱沙尼亚塔林,2012年ETAPS。 诉讼(2012年) Gadducci,Fabio;Monreale,Giacoma Valentina:移动环境的分散图形实现(2011) Acciai,Lucia;Boreale,Michele:pi演算中的空间和行为类型(2010) Acciai,Lucia;Boreale,Michele;Zavattaro,Gianluigi:论空间逻辑与行为模拟的关系(2010) Gori,Roberta;Levi,Francesca:基于抽象解释的生物环境时间特性验证(2010) Lozes,Étienne;Villard,Jules:应用(\pi)-微积分的空间等式逻辑(2010) 安德烈·布拉切利(Braccali),罗伯托·布鲁尼(Bruni),艾伯托(Alberto)鲁克·拉富恩特(Lluch Lafuente),阿尔伯托(Alberto):名称修饰上下文的符号语义(2009) Bruni,Roberto;Lluch Lafuente,Alberto;Montanari,Ugo:用Maude重写层次设计(2009) 克林,巴特克:结构操作语义学中的双代数方法和模态逻辑(2009)