The paper proposes a new testing technique for concurrent programs. The technique is
basically a specification-based testing one. For a formal specification S and a concurrent …

The paper proposes a new testing technique for concurrent programs. The technique is a
specification-based testing. For a formal specification S and a concurrent program P, state …

For a concurrent program in Java, the reachable state space from each initial state is divided
into L layers such that each layer depth is D l for l= 1,..., L. If the program is exhaustively …

Today, software systems are used in various applications where failure is unacceptable.
Among are airplanes, vehicles, utilities, telephones, banking & financial systems, commerce …

JAIST Repository Page 1 Japan Advanced Institute of Science and Technology JAIST
Repository https://dspace.jaist.ac.jp/ Title 形式検証ツールの並列化 Author(s) DO, MINH …