Author:
Chechik Marsha,Gurfinkel Arie,Devereux Benet,Lai Albert,Easterbrook Steve
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference61 articles.
1. Akers S (1978) Binary decision diagrams. IEEE Trans Comput C-27:509–516
2. Babu HH, Sasao T (1999) Representations of multiple-output functions using binary decision diagrams for characteristic functions. IEICE Trans Fundam E82-A(11):2398–2406
3. Bahar RI, Frohm EA, Gaona CM, Hachtel GD, Macii E, Pardo A, Somenzi F (1993) Algebraic decision diagrams and their applications. In: IEEE/ACM International Conference on Computer-Aided Disign (ICCAD’93). IEEE Computer Society Press, Santa Clara, California, pp 188–191
4. Baier, C, Clarke EM (1998) The algebraic Mu-Calculus and MTBDDs. In: Proceedings of the 5th Workshop on Logic, Language, Information and Computation (WoLLIC’98), pp 27–38
5. Ball T, Podelski A, Rajamani S (2001) Boolean and Cartesian abstraction for model checking C programs. In: Proceedings of 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’01), vol 2031 of LNCS, pp 268–283
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献