Automated Verification of CountDownLatch.

Wei-Ngan Chin Ton Chanh Le Shengchao Qin

Published in: CoRR (2019)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
graph theory
object oriented