Machine−Verifiable Responsiveness
Main Authors: | Roscoe, A, Reed, J, Sinclair, J |
---|---|
Format: | Conference item |
Published: |
2005
|
Similar Items
-
Developing and verifying protocols in CSP
by: Roscoe, A
Published: (1993) -
Responsiveness of Interoperating Components
by: Roscoe, A, et al.
Published: (2004) -
Responsiveness and stable revivals
by: Roscoe, A, et al.
Published: (2007) -
Verifying Statemate Statecharts Using CSP and FDR
by: Roscoe, A, et al.
Published: (2006) -
Compiling Statemate Statecharts into CSP and verifying them using FDR
by: Roscoe, A
Published: (2003)