Author:
Herrmann Ronald,Bormann Jörg,Filkorn Thomas,Lohse Jörg,Schneider Hans-Albert
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. J. Bormann (1993a): CVE deckt Fehler im Entwurf eines FiFo-Speichers auf. Siemens Bericht ZFE BT SE 1-93/94-JB-2.
2. J. Bormann (1993b): Formale Verifikation eines Token Ring Controllers mit CVE. Siemens Bericht ZFE BT SE 1-93/94-JB-1.
3. J. Bormann, J. Lohse, M. Payer, G. Venzl (1995). Model Checking in Industrial Hardware Design. In Proceedings 32nd DAC, San Francisco, CA.
4. R. E. Bryant (1986): Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677–691, August.
5. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang (1992): Symbolic Model Checking: 1020 States and beyond. Inf. Comput. (USA), vol. 98, no. 2, p. 142–170.