evt公司

此软件的关键字
zbMATH参考文献(参考
7篇文章
参考)
维达尔,格尔曼:通过术语重写实现对厄兰的验证(2014) de Mol,Maarten;van Eekelen,Marko;Plasmeijer,Rinus:用Sparkle证明懒惰函数程序的性质(2008) 弗雷德伦德,拉尔斯-克;古洛夫,迪利安;诺尔,托马斯;达姆,马兹;阿特斯,托马斯;丘古诺夫,根纳迪:一个适用于埃朗的验证工具(2003) ioport公司 Jonsson,Bengt;Sagonas,Konstantinos:section editors序言(2003) ioport公司 Huch,Frank:模型检查Erlang程序——抽象递归函数调用(2002) Arts,Thomas;Noll,Thomas:验证通用Erlang客户机服务器实现(2001) Thomas Noll;Fredlund,Lars-ke;Gurov,Dilian:Erlang验证工具(2001)