RushbyJohn

发表

Formal Verification for Fault-Tolerant Architectures

OwreSam, RushbyJohn, ShankarNatarajan, 1995 .

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

RushbyJohn, 1999 .