Parallel Bounded Property Checking with SymC
暂无分享,去创建一个
[1] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[2] Martin Große-Rhode. Integration of Software Specification Techniques for Applications in Engineering , 2004, Lecture Notes in Computer Science.
[3] Wolfgang Rosenstiel,et al. TPO++: an object-oriented message-passing library in C++ , 2000, Proceedings 2000 International Conference on Parallel Processing.
[4] Ofer Strichman,et al. Bounded model checking , 2003, Adv. Comput..
[5] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[6] Christian Stangier,et al. A Partitioning Methodology for BDD-Based Verification , 2004, FMCAD.
[7] Assaf Schuster,et al. Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits , 2000, CAV.
[8] Anthony Skjellum,et al. Using MPI - portable parallel programming with the message-parsing interface , 1994 .
[9] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[10] Wolfgang Rosenstiel,et al. Dynamic guiding of bounded property checking , 2004, Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940).
[11] Kenneth L. McMillan,et al. Approximation and decomposition of binary decision diagrams , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).
[12] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[13] Wolfgang Rosenstiel,et al. Modeling and Formal Verification of Production Automation Systems , 2004, SoftSpez Final Report.
[14] R. Brayton,et al. Reachability analysis using partitioned-ROBDDs , 1997, ICCAD 1997.
[15] Wolfgang Rosenstiel,et al. Using Symbolic Simulation for Bounded Property Checking , 2003, FDL.
[16] Wolfgang Rosenstiel,et al. Simulation-guided property checking based on multi-valued AR-automata , 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.