|
|||||
|
|
Verification of programs with half-duplex communication |
|
| Authors: | Grard Cc Alain Finkel |
| Affiliation: | aLIFC, CNRS FRE 2661, Université de Franche-Comté, 16, route de Gray, 25030 Besançon Cedex, France;bLSV, CNRS UMR 8643, ENS de Cachan, 61 av. du Pdt. Wilson, 94235 Cachan Cedex, France |
| Abstract: | |
| Keywords: | Communicating finite state machines Half-duplex communication Symbolic verification Channel-recognizable reachability sets Decidability Regular model checking PLTL model-checking CTL model-checking |
| 本文献已被 ScienceDirect 等数据库收录！ | |