Found 1 document(s)
Page 1 of 1
-
By using symbolic execution techniques in the framework of the Java PathFinder model checker, we show that some Java program statements are unable to change the current state of certain offline observer, and so it is use...