亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 使用显式调度程序和符号线程进行软件模型检查。 (英语) Zbl 1254.68074号 日志。方法计算。科学。 8,第2号,第18号论文,42页(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。8,第2号,第18号论文,42页(2012;Zbl 1254.68074) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 通过部分降阶提升SystemC的惰性抽象。 (英语) Zbl 1316.68072号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605341-356(2011)。MSC公司:60年第68季度 68-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,Lect。注释计算。科学。6605341--356(2011;Zbl 1316.68072) 全文: 内政部