Pencarian berdasarkan :
Pencarian terakhir:
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on model checking techniques. In the proposed method, a model for the i…