Results 171 to 180 of about 8,146 (201)
Some of the next articles are maybe not open access.
Runtime verification methods for MPI
2008 IEEE International Symposium on Parallel and Distributed Processing, 2008The Gauss group at the University of Utah has researched and developed runtime verification tools for MPI programs. Our tool, in-situ partial order (ISP), is being applied to several MPI benchmarks. At the same time, we are embarked on research that ensures the completeness of ISP. Our work on specifying the formal semantics of MPI has also encompassed
Ganesh Gopalakrishnan, Robert M. Kirby
openaire +1 more source
2012
In this paper and its accompanying tutorial, we discuss the topic of teaching runtime verification. The aim of the tutorial is twofold. On the one hand, a condensed version of a course currently given by the author will be given within the available tutorial time, giving an idea about the topics of the course.
openaire +1 more source
In this paper and its accompanying tutorial, we discuss the topic of teaching runtime verification. The aim of the tutorial is twofold. On the one hand, a condensed version of a course currently given by the author will be given within the available tutorial time, giving an idea about the topics of the course.
openaire +1 more source
Time-triggered runtime verification
Formal Methods in System Design, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Borzoo Bonakdarpour +2 more
openaire +2 more sources
Sampling-Based Runtime Verification
2011The literature of runtime verification mostly focuses on event-triggered solutions, where a monitor is invoked by every change in the state of the system and evaluates properties of the system. This constant invocation introduces two major drawbacks to the system under scrutiny at run time: (1) significant overhead and (2) unpredictability.
Borzoo Bonakdarpour +2 more
openaire +1 more source
Runtime Verification with Predictive Semantics
2012Runtime verification techniques are used to continuously check whether software execution satisfies or violates a given correctness property. In this paper, we extend our previous work of three-valued semantics for Linear Temporal Logic (LTL) to predictive semantics.
Xian Zhang +2 more
openaire +1 more source
Using AsmL for Runtime Verification
2003We use AsmL, an executable specification language created by the Foundations of Software Engineering group [1], to describe the behavior of .NET components and perform runtime verification. AsmL is based on the theory of ASMs; AsmL is an industrial-strength specification language that is a full member of the Microsoft .NET Framework.
Michael Barnett 0001 +2 more
openaire +1 more source
From Runtime Verification to Runtime Intervention and Adaptation
2013Runtime verification monitors the execution of a program to determine if it satisfies (typically specified) correctness properties. But what happens when the program violates the correctness properties? The standard view is that continued execution may be unsafe, so the execution must be terminated.
openaire +1 more source
Runtime Verification for Blockchains
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 2021openaire +1 more source
Some Thoughts on Runtime Verification
2016Some reflections on verification and runtime verification in general and of cyber-physical systems in particular.
openaire +1 more source