Login / Signup
Towards deductive verification of MPI programs against session types.
Eduardo R. B. Marques
Francisco Martins
Vasco T. Vasconcelos
Nicholas Ng
Nuno Martins
Published in:
PLACES (2013)
Keyphrases
</>
parallel algorithm
database languages
symbolic execution
image segmentation
general purpose
model checking
formal methods
functional programs
database
computer programs
parallel implementation
answer sets
knowledge representation
face recognition
knowledge base
learning algorithm
machine learning