G.J. Holzmann, and R.A. Beukers, The Pandora protocol development system, Proc. 3rd IFIP Symposium on Protocol Specification, Testing, and Verification, PSTV83, Zurich, Sw., June 1983, North-Holland Publ., Amsterdam, pp. 357-369. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Logic Verification of ANSI-C code with SPIN - Holzmann (2000) (16 citations) Self-citation (Holzmann) (Correct)
....in these cases by defining abstractions in PROMELA that match the semantics from the statements in C. The need for syntactic conversions and manual intervention can be reduced if we allow for included C code fragments in a SPIN verification model. Such an extension was, for instance, described in [10] for an early predecessor of SPIN, serving a different purpose. The C code fragments are not parsed by SPIN but included as is into the model checking code that is generated from a verification model (which is C source text) Since the data objects that are accessed through the included C code ....
G.J. Holzmann, and R.A. Beukers, The Pandora protocol development system, Proc. 3rd IFIP Symposium on Protocol Specification, Testing, and Verification, PSTV83, Zurich, Sw., June 1983, North-Holland Publ., Amsterdam, pp. 357-369.
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