Results 111 to 120 of about 8,146 (201)

Runtime verification of embedded real-time systems. [PDF]

Form Methods Syst Des, 2014
Reinbacher T, Függer M, Brauer J.
europepmc   +1 more source

A unified approach for static and runtime verification : framework and applications [PDF]

, 2012
Static verification of software is becoming ever more effective and efficient. Still, static techniques either have high precision, in which case powerful judgements are hard to achieve automatically, or they use abstractions supporting increased ...
Ahrendt, Wolfgang, Pace, Gordon J., 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'12), Schneider, Gerardo   +3 more
core  

General Anticipatory Runtime Verification

AbstractRuntime verification is a technique for monitoring a system’s behavior against a formal specification. Monitors must produce verdicts that are sound with respect to the specification. Anticipation is the ability to immediately produce verdicts when the monitor can confidently predict the inevitability of the verdict.Stream runtime verification ...
Raik Hipler, Hannes Kallwies, Martin Leucker, César Sánchez 0001   +3 more
openaire   +1 more source

Efficient Runtime Verification of Energy Properties within Hardware / Software Co-Design

The most reliable systems within the aerospace domain continually leverage formal methods to prove system correctness against project requirements. Most systems verify value-domain requirements to ensure functional correctness of the application.
Pereira, A, McColl, C, Hexel, R, McColl, M   +3 more
core   +1 more source

Execution-bound advisory automation for agentic AI: a reproducible AIBOM-driven CSAF-VEX framework. [PDF]

Front Artif Intell
Radanliev P, Santos O, Maple C, Atefi K.
europepmc   +1 more source

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

A Systematic Review of Kernel-Level Security Mechanisms, Vulnerability Detection and Mitigation in Modern Operating Systems. [PDF]

Sensors (Basel)
Ali Z, Aslam N, Marotta A, Tiberti W, Cassioli D.   +4 more
europepmc   +1 more source

GeoRescue: A Geometric LiDAR Point Cloud Registration Framework for Resource-Constrained Edge Platforms. [PDF]

Sensors (Basel)
Sun Y, Shang Z, Yang M, Meng F, Mu M, Yan H.   +5 more
europepmc   +1 more source