Author:
Tuya Javier,Sánchez Luciano,Corrales Jose A.
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Abadi, M., Lamport, L. (1993) “Conjoining Specifications”. DEC Software Research Centre. Research Report no. 118
2. Atlee, J., Gannon, J. (1993) “State-Based Model Checking of Event-Driven System Requirements”. IEEE Transactions on Software Engineering, Vol. 19, no. 1, January, pp. 24–40
3. Aziz, A., Tasiran, S., Brayton, K. (1993) “BDD Variable Ordering for Interacting Finite State Machines”. University of California, Berkeley. Tech. Report UCB/ERL M93/71
4. Bryant, R. E. (1986) “Graph-Based Algorithms for Boolean Function Manipulation”. IEEE Transactions on Computers, Vol. 35, no. 8, August, pp. 677–691
5. Burch, J. R., Clarke, E. M., McMillan, K. L. Dill, D. L., Hwang, L. J. (1992) “Symbolic Model Checking: 1020 States and Beyond”. Information and Computation, Vol. 98, pp. 142–170