恩里克·帕斯特;马可·佩纳。;马克·索莱 TRANSYT：用于验证异步并发系统的工具。 （英语） Zbl 1081.68632号 Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。《计算机科学讲义》3576、424-428（2005）。 摘要：TRANSYT是一种基于BDD的工具，专门用于验证定时和非定时异步并发系统。TRANSYT系统架构设计为模块化、开放和灵活，以便可以轻松集成附加功能。系统中集成了最先进的BDD包，中间件扩展提供了对复杂BDD操作策略的支持。关于整个系列，请参见[Zbl 1078.68004号]. MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：NuSMV公司;TRANSYT公司;石化;CUDD公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Pastor}等人，Lect。注释计算。科学。3576、424--428（2005年；Zbl 1081.68632） 全文： DOI程序