O. Grumberg and S. Katz. VeriTech: translating among specifications and verification tools--design principles. In Proceedings of third Austria-Israel Symposium Software for Communication Technologies, pages 104--109, April 1999. http://www.cs.technion.ac.il/Labs/veritech/. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Petri Net Markup Language: Concepts, Technology, and Tools - Billington, al. (2003) (1 citation) (Correct)
....technical hook for this purpose: an element properties that could contain this additional information. A uniform representation of Petri net properties and analysis results, however, is beyond the scope of this paper. This is an interesting and important research direction. The VeriTech project [16] and the Munich Model Checking Kit [21] can serve as guidelines for this work. 8 Conclusion In this paper, we have presented the principles and concepts of PNML and have sketched its realization with XML technology. We have discussed the need for the format to be extensible, to cater for ....
S. Katz and O. Grumberg. VeriTech: Translating among specifications and verification tools. Technical report, The Technion, Haifa, Israel, March 1999.
A Framework for Translating Models and - Specifications Shmuel Katz Self-citation (Grumberg Katz) (Correct)
No context found.
O. Grumberg and S. Katz. VeriTech: translating among specifications and verification tools--design principles. In Proceedings of third Austria-Israel Symposium Software for Communication Technologies, pages 104--109, April 1999. http://www.cs.technion.ac.il/Labs/veritech/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC