Show all publications

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem

Download PDFDownload Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
Authors:
Details:
In Proc. of Fundamental Aspects of Software Engineering, Third Internationsl Conference, FASE 2000. Lecture Notes in Computer Science 1783, Berlin, Germany, Springer Verlag, 2000.
Abstract:
This paper presents a technique for verifying specifications which uses the object-oriented state-based language Object-Z. The technique is based upon translation of Object-Z specifications into transition systems. The translation of Object-Z into a transition system allows one to use established techniques and tools in order to verify the specifications. We present the basis of our translation approach and then illustrate it by a case study. The case study consists in proving properties of our antennae parameter setting problem specification.
Keywords:
-
Publication Category:
International conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle Distribu√©es - Université Bourgogne Franche-Comté - Privacy policy