2012/10/15 by Fethi Fkih, Fkih, Fethi, Kais Haddar +1
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.SE
paper · pdf · doi:10.48550/arxiv.1210.3858
JS-EABA 2007-5èmes Journées Scientifiques de Borj el Amri
arxiv created 2012/10/15 · openalex publication_date 2012/10/15 · arxiv updated 2012/10/16 · openalex created_date 2016/06/24 · openalex updated_date 2026/07/28
Building a parser for a formal specification language such as Object Z is not an easy task. Indeed, it requires a double competence both in the compilation field than in the field of formal specification. In this paper, we first present some tools for analyzing specifications written in Z and Object Z by showing the characteristics of each. Then, we identify some common semantic constraints in Object Z. Finally, we propose an approach for building a parser for Object Z based on the conventional techniques of compilation.