Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements' specification. This paper presents semi-aut...

Full description

Bibliographic Details
Main Authors: Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
Formal specifications
automated extraction
formal languages
simulation
formal verification
model checking
Online Access:https://ieeexplore.ieee.org/document/7883829/

Internet

https://ieeexplore.ieee.org/document/7883829/

Similar Items