Author:
Cabodi G.,Camurati P.,Quer S.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Approximate Symbolic Reachability of Networks of Transition Systems;Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems;2007
2. Are BDDs still alive within sequential verification?;International Journal on Software Tools for Technology Transfer;2005-01-25
3. Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification;Computer Aided Verification;2002
4. Dynamic scheduling and clustering in symbolic image computation;Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition
5. Biasing symbolic search by means of dynamic activity profiles;Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001