Hi,
+-From: Watcharin Leungwattanakit --
|_Date: Thu, 10 Mar 2011 13:39:19 +0900 ___
|
|- There is no synchronization between these threads. As a result, they
|run independently in parallel.
|- The main thread runs along the following trace.
| thr
Hello,
I am doing a research on software model checking and using an example
program in the JSch package as a subject for an experiment. By the
verification result, I found that program "ScpTo" in directory "example"
may produce an exception under a certain thread schedule. Here is a
summary o
