A Brief Account of Runtime Verification

TL;DR: In this article, the authors propose a runtime monitoring that can measure the reliability of the neural network trained to classify a new input based on prior similarities in the training set, and demonstrate that 75.63% of misclassified labels are unseen activation patterns, which are not similar to any stored activation patterns from the training time.

TL;DR: This thesis proposes to create a novel adaptation of signaling games, a variant of Bayesian games as a model for real world computer security scenarios, which allows for more realistic modeling by using empirical data of real world scenarios and a more complex extensible game framework than previous, more restrictive models.

TL;DR: RVAFTs are introduced, an extension of Attack-Fault Trees with runtime events that can be used to construct runtime monitors that are able to detect when failures occur and derive safety and security properties derived from the hierarchical decomposition of RVAFTs.

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: In this article, the logical foundations of computer programming are explored by using techniques first applied in the study of geometry and later extended to other branches of mathematics, and a formal proof of a simple theorem is displayed.

TL;DR: The continuity of the basic conceptual model between Abstract and Executable Processes in WSBPEL makes it possible to export and import the public aspects embodied in Abstract Processes as process or role templates while maintaining the intent and structure of the observable behavior.

TL;DR: A practical introduction to the development of proofs and certified programs using Coq can be found in this paper, which is an invaluable tool for researchers, students, and engineers interested in formal methods and the developing of zero-fault software.