Towards a correct translation from ASN.1 into CafeOBJ
Konstantinos Barlas, George Koletsos, Petros Sotirios Stefaneas, Iakovos Ouranos · International Journal of Reasoning-based Intelligent Systems · 2010
The adoption of algebraic specification techniques by the networks' research community is happening slowly but steadily. We present a software environment that can translate a protocol's specification, from Abstract Syntax Notation One (ASN.1), into the powerful algebraic specification language CafeOBJ. The resulting code can be used to check critical properties of systems. In this paper, we sketch some first steps towards the implementation of such a tool including a case study.