Dynamic Information-Flow Analysis for Multi-threaded Applications.

Laurent Mounier Emmanuel Sifakis

Published in: ISoLA (1) (2012)

Keyphrases

flow analysis
multi threaded
information flow
artificial intelligence
fine grained
computing environments