Author:
Desovski Dejan,Cukic Bojan
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abadi, M., Lamport, L.: Conjoining Specifications. ACM Transactions on Programming Languages and Systems 17(3), 507–534 (1995)
2. Alur, R., Brayton, R.K., Henzinger, T.A., Qadeer, S., Rajamani, S.K.: Partial-Order Reduction in Symbolic State-Space Exploration. Formal Methods in System Design 18, 97–116 (2001)
3. Bharadwaj, R., Heitmeyer, C.L.: Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering 6, 37–68 (1999)
4. Bharadwaj, R., Sims, S.: Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking. In: Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (2000)
5. Chekuri, C., Goldberg, A., Karger, D., Levine, M., Stein, C.: Experimental study of minimum cut algorithms. In: SODA 1997. Proceedings of the 8th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, pp. 324–333 (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献