Automatic formal model generation and analysis of SDL
From MaRDI portal
Recommendations
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
- Towards a formal foundation of the specification and description language SDL
- Model checking SDL with Spin
- Applying SDL specifications and tools to the verification of procedures
- scientific article; zbMATH DE number 2087637
Cited in
(13)- OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
- Protocol verification with the Aldébaran toolset
- Modelling and analysing the SDL description of the ISDN-DSS1 protocol
- Applying SDL specifications and tools to the verification of procedures
- scientific article; zbMATH DE number 1187962 (Why is no real title available?)
- Rapid development of network software via SDL/Socket interfaces
- Model-based generation of SDL specifications for the early prototyping of reactive systems
- Generating a compiler for SDL from the formal language definition
- Development of distributed systems with SDL by means of formalized APIs
- scientific article; zbMATH DE number 2087623 (Why is no real title available?)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Towards a formal foundation of the specification and description language SDL
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
This page was built for publication: Automatic formal model generation and analysis of SDL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4450987)
