Slide 1Rigorous Software Development CSCI-GA 3033-011 Instructor: Thomas Wies Spring 2012 Lecture 8 Slide 2 Run-time vs. Static Checking Runtime Assertion Checking (RAC)…
1. ConcurrentHashMap Code Reading 角田 直行 <[email protected]> 2. Agenda• 準備•…