Verification of programs with half-duplex communication

Gerard Cece، نويسنده , , Alain Finkel، نويسنده ,

روزنامه با شماره پیاپی سال 2005

25

166

190

Channel-recognizablereachability sets , Symbolic verification , Decidability , PLTL model-checking , CTL model-checking , Communicating finite state machines , Half-duplex communication , Regular model checking

Information and Computation

2005

Information and Computation

262314