Author:
Robinson Peter,Shankland Carron
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic Model Checking: 1020 States and Beyond. Information and Computation 98, 142–170 (1992)
2. Clarke, E., Filkorn, T., Jha, S.: Exploiting Symmetry In Temporal Logic Model Checking. In: Courcoubetis, C. (ed.) Proceedings of the 5thWorkshop on Computer-Aided Verification, pp. 450–462. Springer, Heidelberg (1993)
3. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Cleaveland, W. (ed.) Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Heidelberg (1999)
4. Bharadwaj, R., Sims, S.: Salsa: Combining constraint solvers with BDDs for automated invariant checking. In: Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000 (2000)
5. Hennessy, M., Lin, H.: Symbolic Bisimulations. Theoretical Computer Science 138, 353–389 (1995)