Automated Verification of Concurrent Linked Lists with Counters.

Tuba Yavuz-Kahveci Tevfik Bultan

Published in: SAS (2002)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
temporal logic
genetic algorithm
domain specific
real time
databases
data mining
expert systems
floating point
mutual exclusion
concurrent execution