Verification of Asynchronous Programs with Nested Locks.

Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan

Published in: FSTTCS (2017)

Keyphrases

asynchronous circuits
symbolic execution
hardware designs
model checking
computer programs
formal verification
face verification
java bytecode
online learning
static analysis
test generation
delay insensitive