18 Run-Time Verification

• 1 January 2005
• book chapter
• Published by Springer Nature
• p. 525-555
• https://doi.org/10.1007/11498490_24

Abstract

Keywords

• LINEAR TEMPORAL LOGIC
• EXECUTION TRACE
• DATA RACE
• TIME LINEAR TEMPORAL LOGIC
• LINEAR TEMPORAL LOGIC FORMULA