Adaptability checking in complex systems

TL;DR: Graphical Symbolic Modeling Toolkit (GSMT) is presented to design and verify the behavioral models of distributed systems to improve the model checking weaknesses.

TL;DR: An algebraic language to represent RNA secondary structures with arbitrary pseudoknots is introduced and it is shown that the tree grammar with its operators permit to uniquely represent any RNA secondary structure as a tree.

TL;DR: In this paper, the main objectives of the study are to improve the experience of travelers, to make new income streams and to increase operational excellence and enhance security at the airports, while identifying the areas for different sectors supporting the airport management to provide better smart services to the travellers leading to a smart world.

TL;DR: A novel runtime verification method to verify self-organizing systems is employed and a novel policy-based runtime verification mechanism is proposed to ensure that the safety properties are satisfied by the implementation at runtime.

TL;DR: Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.

TL;DR: A unified approach to program verification is suggested, which applies to both sequential and parallel programs, and the main proof method is that of temporal reasoning in which the time dependence of events is the basic concept.

TL;DR: It is argued that this technique can provide a practical alternative to manual proof construction or use of a mechanical theorem prover for verifying many finite-state concurrent systems.

TL;DR: It is shown that it is possible to automatically synthesize the synchronization skeleton of a concurrent program from a Temporal Logic specification and it is believed that this approach may in the long run turn out to be quite practical.