Authors: RUSHBY J OWRE S SHANKAR N

Citation: J. Rushby et al., SUBTYPES FOR SPECIFICATIONS - PREDICATE SUBTYPING IN PVS, IEEE transactions on software engineering, 24(9), 1998, pp. 709-720

Authors: SAIEDIAN H BOWEN JP BUTLER RW DILL DL GLASS RL GRIES D HALL A HINCHEY MG HOLLOWAY CM JACKSON D JONES CB LUTZ MJ PARNAS DL RUSHBY J WING J ZAVE P

Citation: H. Saiedian et al., AN INVITATION TO FORMAL METHODS, Computer, 29(4), 1996, pp. 16

Authors: OWRE S RUSHBY J SHANKAR N VONHENKE F

Citation: S. Owre et al., FORMAL VERIFICATION FOR FAULT-TOLERANT ARCHITECTURES - PROLEGOMENA TOTHE DESIGN OF PVS, IEEE transactions on software engineering, 21(2), 1995, pp. 107-125

Authors: RUSHBY J

Citation: J. Rushby, CRITICAL SYSTEM PROPERTIES - SURVEY AND TAXONOMY, Reliability engineering & systems safety, 43(2), 1994, pp. 189-219