论文信息 - Automata-theoretic verification of coordinating processes - 字舞流文

Automata-theoretic verification of coordinating processes

R. P. Kurshan | R. Kurshan

[1] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.

[2] I. Peterson. Software Failure: Counting up the Risks , 1991 .

[3] E. Clarke,et al. Sequential circuit verification using symbolic model checking , 1990, 27th ACM/IEEE Design Automation Conference.

[4] Robert P. Kurshan,et al. Software for analytical development of communications protocols , 1990, AT&T Technical Journal.