2 search results - page 1 / 1 » Dynamic Event-Based Runtime Monitoring of Real-Time and Cont... |
FMICS
2008
Springer
14 years 12 days ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
ENTCS
2002
13 years 10 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...