67 search results - page 1 / 14 » Rewriting-Based Techniques for Runtime Verification |
127
Voted
ASE
2005
15 years 29 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
120
Voted
LOGCOM
2010
14 years 7 months ago
2010
Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
107
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
111
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...
107
Voted
CCR
2004
15 years 28 days ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...