Verification of the ISO ACSE protocol using Deductive Machine - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Richard Lai, X. Li. Verification of the ISO ACSE protocol using Deductive Machine. Journal of Systems and Software, 39(3):223-247, 1997. [doi]

The following publications are possibly variants of this publication:

Verification of ISO ACSE protocol specified in EstelleRichard Lai, Ajin Jirachiefpattana. comcom, 17(3):172-188, 1994. [doi]

On using PROMPT for the automatic implementation of the ISO ACSE protocolRichard Lai. jss, 28(2):143-155, 1995. [doi]

On Using Protean To Verify ISO FTAM ProtocolRichard Lai, Ken R. Parker, Tharam S. Dillon. cav 1991: 126-135

Simulation and Verification of Protocol Using Deductive MachineR. Lai, X. Li. simulation, 65(5):321-333, 1995. [doi]

Theory of Deductive Systems for Protocol VerificationX. Li, Richard Lai, Tharam S. Dillon. icci 1992: 422-425

Verification of the ISO ROSE protocol specified in EstelleAjin Jirachiefpattana, Richard Lai. pstv 1995: 87-102

Verification Results for ISO FTAM Basic ProtocolRichard Lai, Tharam S. Dillon, Ken R. Parker. pstv 1990: 223-234

runs on WebDSL