Article10.1007/s10703-015-0226-3

Runtime verification with minimal intrusion through parallelism

Shay Berkovich,Borzoo Bonakdarpour,Sebastian Fischmeister-2015-05-28-Formal Methods in System Design

24

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Computer scienceScalabilityOverhead (engineering)Runtime verificationExploitSet (abstract data type)Multi-core processorParallelism (grammar)

Chat

Click to start Chat