67 search results - page 4 / 14 » Rewriting-Based Techniques for Runtime Verification |
RSP
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
RV
2010
Springer
13 years 8 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...
ICCD
2004
IEEE
14 years 7 months ago
2004
IEEE
1 Many computer security threats involve execution of unauthorized foreign code on the victim computer. Viruses, network and email worms, Trojan horses, backdoor programs used in ...
DAC
2008
ACM
14 years 12 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...