Formal Specification and Verification of Self-Adaptive Concurrent Systems

Formal Specification and Verification of Self-Adaptive Concurrent Systems

The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment. In general, an SAS is much difficult to specify and verify, becau...

Full description

Bibliographic Details
Main Authors: Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Self-adaptive
multi-agent
formal specification
formal verification
modal <italic xmlns:ali="http://www.niso.org/schemas/ali/1.0/" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">μ</italic>-calculus
TAPA model checker
Online Access:https://ieeexplore.ieee.org/document/8392667/

Internet

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

Similar Items