Detecting Fair Non-termination in Multithreaded Programs.

Mohamed Faouzi Atig Ahmed Bouajjani Michael Emmi Akash Lal

Published in: CAV (2012)

Keyphrases

multi user
databases
user interface
evolutionary algorithm
object oriented
theorem proving
computer programs
programming environment
intermediate level