Abstract: A one-step algorithm, GEAR (generalized evaluation algorithm ... including terminal-pair, computer-network, distributed-program, and distributed-system. GEAR is general enough to compute all ...

Over the last 10 years, breakthroughs in understanding the genetic instructions passed from parent to offspring have put ...

Abstract: We present a memetic algorithm for program safety properties verification. This problem is expressed by means of Reach ability of some erroneous location L in the program. We use a new ...