"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.

Martin S. Feather Julia R. Dunphy Nicolas Rouquette "Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation. 140- 1998 conf/wift/1998 WIFT https://doi.org/10.1109/WIFT.1998.766309 https://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766309 db/conf/wift/wift1998.html#FeatherDR98