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 …

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