Titlebook: Runtime Verification; A Hands-On Approach Christian Colombo,Gordon J. Pace Textbook 2022 Springer Nature Switzerland AG 2022 Aspect-Orient

完成才能战胜

乞丐

glucagon

珠宝

FiTS: A Financial Transaction System,FiTS, a Financial Transaction System, is introduced in this chapter, since it will be used in the rest of the book to illustrate how different techniques work. In particular, desirable properties of FiTS are identified, allowing the comparison of how different runtime verification techniques fare on the same specifications.

RUPT

Manual Monitoring,Runtime verification can be programmed directly into the system-under-scrutiny. This chapter guides the reader through how such verification can be added, and the limitations of manually programming verification code are discussed.

PANT

Linear Temporal Logic,Linear Temporal Logic (LTL) is a temporal logic commonly used to specify temporal properties of programs, and is particularly well suited as a logic for automated system verification. In this chapter, the reader is introduced to LTL, and shown how the logic can be used to express properties, and how monitors for such properties can be built.

吹牛大王

absorbed

商谈

Christian Colombo,Gordon J. PaceWritten for graduate students and industry professionals who need a hands-on introduction to runtime verification.Includes lots of exercises which enable readers to build their own runtime verificatio

Alveolar-Bone

What is Runtime Verification,ime monitoring techniques identified, to be used in the rest of the book. Finally, different approaches to runtime verification are discussed, including design choices one faces when building a runtime verification tool.