A Modular Checker for Multithreaded Programs.

Cormac Flanagan Shaz Qadeer Sanjit A. Seshia

Published in: CAV (2002)

Keyphrases

modular neural networks
multi user
computer programs
prolog programs
multiscale
answer sets
automatic programming
control structures
modular structure