Author:
Toggweiler Daniel,Grabowski Jens,Hogrefe Dieter
Reference11 articles.
1. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems — An Approach to the State-Explosion Problem. PhD thesis, Universite de Liege, Faculté des Sciences Appliquées, October 1994.
2. J. Grabowski, D. Hogrefe, R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. In: SDL'93 - Using Objects. North-Holland, October 1993.
3. D. Hogrefe. OSI Formal Specification Case Study: The INRES Protocol and Service. Technical Report IAM-91-012, University of Berne, May 1991. Update May 1992.
4. G. Holzmann, P. Godefroid, D. Pirottin. Coverage Preserving Reduction Strategies for Reachability Analysis. In: Proceedings 12th IFIP WG 6.1 International Symposium on Protocol Specification Testing and Verification. North-Holland, June 1992.
5. G. Holzmann and D. Peled. An Improvement in Formal Verification. In: Proceedings of Seventh International Conference on Formal Description Techniques (FORTE'94) in Berne (Switzerland), October 1994.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献