Corina Pasareanu @CorinaPasareanu from @NASAAmes and @cmusv is presenting a tutorial on Symbolic Pathfinder. We will post recording of this presentation later.