EASN: Integrating ASN. 1 and model checking

DOI10.1007/3-540-44585-4_37MaRDI QIDQ4553261zbMATH OpenFDO

Authors Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen

Publication date 4 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44585-4_37

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• A SPIN-based model checker for telecommunication protocols
• Verifying a UMTS protocol using Spin and EASN
• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• Model checking support for the ASM high-level language
• Towards a methodology for model checking ASM: Lessons learned from the FLASH case study

Cited in

(5)

• EASN
• ASN. 1 is reaching out!
• Design and implementation of ASN.1 module in DSRC
• An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints
• A SPIN-based model checker for telecommunication protocols

This page was built for publication: EASN: Integrating ASN. 1 and model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553261)